>>773
補集合で考えると分かりやすいかも