:: BOOLE semantic presentation

{} is set
the empty set is empty set
X is set
X \/ {} is set
Y is set
Y is set
X is set
X /\ {} is set
Y is set
Y is set
X is set
X \ {} is set
Y is set
Y is set
X is set
{} \ X is set
Y is set
Y is set
X is set
X \+\ {} is set
X \ {} is set
{} \ X is set
(X \ {}) \/ ({} \ X) is set
Y is set
Y is set
X is set
Y is set
c₃ is set
X is set
X is set
Y is set
X is set
Y is set