:: XBOOLE_0 semantic presentation

F₁() is set
X is set
Y is set
x is set
X is set
Y is set
x is set
x is set
the set is set
X is set
Y is set
the () set is () set
X is set
Y is set
{X,Y} is set
union {X,Y} is set
x is set
x is set
x is set
x is set
x is set
x is set
x is set
x is set
c₆ is set
c₇ is set
x is set
x is set
c₆ is set
x is set
x is set
x is set
x is set
x is set
x is set
x is set
c₆ is set
c₇ is set
x is set
x is set
c₆ is set
x is set
x is set
x is set
x is set
() is set
X is set
Y is set
(X,Y) is set
(Y,X) is set
((X,Y),(Y,X)) is set
x is set
x is set
x is set
(x,x) is set
(x,x) is set
((x,x),(x,x)) is set
((x,x),(x,x)) is set
x is set
x is set
(x,x) is set
(x,x) is set
x is set
x is set
x is set
x is set
c₆ is set
x is set
x is set
x is set
x is set
x is set
X is set
Y is set
x is set
(Y,x) is set
(Y,x) is set
(x,Y) is set
((Y,x),(x,Y)) is set
X is set
Y is set
x is set
(Y,x) is set
(Y,x) is set
(x,Y) is set
((Y,x),(x,Y)) is set
x is set
X is set
{X} is set
Y is set
{X,Y} is set
the set is set
{ the set } is () set
X is () set
Y is set
(X,Y) is set
x is set
(Y,X) is () set
X is set
Y is set
x is set
X is set
Y is set
(X,Y) is set
x is set
x is set
x is set
X is set
Y is set
(X,Y) is set
x is set
x is set
x is set
X is set
Y is set
x is set
(X,Y) is set
F₁() is set
F₂() is set
X is set
X is set
X is set
Y is set
X is set
Y is set
x is set
x is set
X is set