Пусть A, B и C - три множества, и предположим, что существует элемент, принадлежащий A ⋂ B ⋂ C. Тогда обязательно верно, что:

A. A ∪ B ∪ C содержится в A ∪ B
B. Есть элемент, который находится в A ⋂ B, но не в C
C. A ⋂ B строго содержится в A ⋂ B ⋂ C
D. A ⋂ B ⋂ C строго содержится в A ⋂ B
E. A ⋂ B не является пустым множеством