全体集合をX、任意の集合をAとすると、

¬A∪A=X
¬A∩A=φ

これって公理？
それとも定理？

定理ならば証明求む。