集合 A と B について，常に成立する関係はどれか。ここで，∩ は積集合，∪ は和集合， は A の補集合， A ⊆ B は" A は B の部分集合である"ことを表す。
A ⊆ ( A ∩ )
( A ∪ B ) ⊆ ( ∪ )
( A ∩ B ) ⊆ ( A ∪ )
( A ∩ B ) ⊆ ( ∩ )
は A の補集合，
A ⊆ B は" A は B の部分集合である"ことを表す。