:: ZFMISC_1 semantic presentation

{} is empty set
the empty set is empty set
A is set
B is set
[A,B] is set
{A,B} is non empty set
{A} is non empty set
{{A,B},{A}} is non empty set
A is set
{A} is non empty set
B is set
a is set
A is set
B is set
a is set
{a} is non empty set
B \ {a} is set
X is set
A is set
B is set
{B} is non empty set
{B} \ {B} is set
A is set
B is set
a is set
X is set
c₅ is set
A is set
B is set
A \/ B is set
((A \/ B)) is set
(((A \/ B))) is set
a is set
X is set
c₅ is set
x6 is set
[c₅,x6] is non empty set
{c₅,x6} is non empty set
{c₅} is non empty set
{{c₅,x6},{c₅}} is non empty set
x7 is set
x7 is set
A is set
B is set
(A,B) is set
a is set
((A,B),a) is set
A is set
B is set
a is set
(A,B,a) is set
(A,B) is set
((A,B),a) is set
X is set
((A,B,a),X) is set
({}) is set
{{}} is non empty set
A is set
union {} is set
A is set
B is set
A is set
{A} is non empty set
B is set
{B} is non empty set
A is set
{A} is non empty set
B is set
a is set
{B,a} is non empty set
A is set
{A} is non empty set
B is set
a is set
{B,a} is non empty set
A is set
B is set
{A,B} is non empty set
a is set
X is set
{a,X} is non empty set
A is set
{A} is non empty set
B is set
{A,B} is non empty set
a is set
A is set
{A} is non empty set
B is set
{A} \/ B is non empty set
A is set
{A} is non empty set
B is set
{B} is non empty set
{A} \/ {B} is non empty set
A is set
{A} is non empty set
B is set
{A,B} is non empty set
{A} \/ {A,B} is non empty set
A is set
{A} is non empty set
B is set
{A} /\ B is set
A is set
{A} is non empty set
B is set
{B} is non empty set
A is set
{A} is non empty set
B is set
{A} /\ B is set
a is set
A is set
{A} is non empty set
B is set
{B} is non empty set
A is set
B is set
{B} is non empty set
A /\ {B} is set
A is set
{A} is non empty set
B is set
{B} is non empty set
{A} /\ {B} is set
A is set
B is set
{A} is non empty set
B /\ {A} is set
A is set
{A} is non empty set
B is set
{A,B} is non empty set
{A} /\ {A,B} is set
A is set
{A} is non empty set
B is set
{A} \ B is set
a is set
X is set
{a} is non empty set
{a} \ X is set
A is set
{A} is non empty set
B is set
{B} is non empty set
{A} \ {B} is set
A is set
{A} is non empty set
B is set
{A} \ B is set
a is set
X is set
{a} is non empty set
{a} \ X is set
A is set
{A} is non empty set
B is set
{B} is non empty set
{A} \ {B} is set
A is set
{A} is non empty set
B is set
{A,B} is non empty set
{A} \ {A,B} is set
A is set
{A} is non empty set
B is set
{A,B} is non empty set
a is set
{A,B} \ a is set
X is set
A is set
{A} is non empty set
B is set
{A,B} is non empty set
{B} is non empty set
{A,B} \ {B} is set
A is set
{A} is non empty set
B is set
{B} is non empty set
A is set
{A} is non empty set
B is set
a is set
{B,a} is non empty set
A is set
B is set
{A,B} is non empty set
a is set
{a} is non empty set
A is set
B is set
{A,B} is non empty set
a is set
{a} is non empty set
A is set
B is set
{B} is non empty set
a is set
a is set
A is set
B is set
{B} is non empty set
a is set
{B,a} is non empty set
{a} is non empty set
X is set
c₅ is set
c₅ is set
A is set
B is set
{A,B} is non empty set
a is set
X is set
{a,X} is non empty set
{a} is non empty set
{X} is non empty set
A is set
{A} is non empty set
B is set
{B} is non empty set
{A} \+\ {B} is set
{A} \ {B} is set
{B} \ {A} is set
({A} \ {B}) \/ ({B} \ {A}) is set
{A,B} is non empty set
a is set
A is set
{A} is non empty set
({A}) is set
{{},{A}} is non empty set
B is set
A is set
B is set
union B is set
a is set
A is set
{A} is non empty set
union {A} is set
B is set
a is set
A is set
B is set
{A,B} is non empty set
union {A,B} is set
A \/ B is set
a is set
X is set
A is set
{A} is non empty set
B is set
{B} is non empty set
{{A},{B}} is non empty set
union {{A},{B}} is set
{A,B} is non empty set
{A} \/ {B} is non empty set
A is set
B is set
[A,B] is non empty set
{A,B} is non empty set
{A} is non empty set
{{A,B},{A}} is non empty set
a is set
X is set
(a,X) is set
c₅ is set
x6 is set
[c₅,x6] is non empty set
{c₅,x6} is non empty set
{c₅} is non empty set
{{c₅,x6},{c₅}} is non empty set
A is set
B is set
[A,B] is non empty set
{A,B} is non empty set
{A} is non empty set
{{A,B},{A}} is non empty set
a is set
{a} is non empty set
X is set
{X} is non empty set
({a},{X}) is set
A is set
{A} is non empty set
B is set
{B} is non empty set
({A},{B}) is set
[A,B] is non empty set
{A,B} is non empty set
{{A,B},{A}} is non empty set
{[A,B]} is non empty set
a is set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
A is set
{A} is non empty set
B is set
[A,B] is non empty set
{A,B} is non empty set
{{A,B},{A}} is non empty set
a is set
{B,a} is non empty set
({A},{B,a}) is set
[A,a] is non empty set
{A,a} is non empty set
{{A,a},{A}} is non empty set
{[A,B],[A,a]} is non empty set
{a} is non empty set
({A,B},{a}) is set
[B,a] is non empty set
{B} is non empty set
{{B,a},{B}} is non empty set
{[A,a],[B,a]} is non empty set
X is set
c₅ is set
x6 is set
[c₅,x6] is non empty set
{c₅,x6} is non empty set
{c₅} is non empty set
{{c₅,x6},{c₅}} is non empty set
X is set
c₅ is set
x6 is set
[c₅,x6] is non empty set
{c₅,x6} is non empty set
{c₅} is non empty set
{{c₅,x6},{c₅}} is non empty set
A is set
{A} is non empty set
B is set
a is set
X is set
{a} is non empty set
A is set
B is set
{A,B} is non empty set
a is set
X is set
A is set
B is set
{B} is non empty set
a is set
X is set
{X} is non empty set
A is set
B is set
a is set
{a} is non empty set
B \ {a} is set
A is set
B is set
{B} is non empty set
A is set
B is set
a is set
{B,a} is non empty set
{B} is non empty set
{a} is non empty set
X is set
c₅ is set
{c₅} is non empty set
x6 is set
{x6} is non empty set
{c₅,x6} is non empty set
A is set
{A} is non empty set
B is set
a is set
B \/ a is set
A is set
{A} is non empty set
B is set
a is set
B \/ a is set
A is set
{A} is non empty set
B is set
{A} \/ B is non empty set
A is set
B is set
{A} is non empty set
{A} \/ B is non empty set
A is set
B is set
{A,B} is non empty set
a is set
{A,B} \/ a is non empty set
A is set
B is set
a is set
{A,a} is non empty set
{A,a} \/ B is non empty set
A is set
{A} is non empty set
B is set
{A} \/ B is non empty set
A is set
B is set
{A,B} is non empty set
a is set
{A,B} \/ a is non empty set
A is set
B is set
{B} is non empty set
A /\ {B} is set
A is set
B is set
{A} is non empty set
B /\ {A} is set
A is set
B is set
a is set
{A,a} is non empty set
{A,a} /\ B is set
A is set
{A} is non empty set
B is set
A is set
B is set
{A,B} is non empty set
a is set
{A,B} /\ a is set
A is set
B is set
{A} is non empty set
A is set
B is set
a is set
{A,a} is non empty set
{A,a} /\ B is set
X is set
A is set
{A} is non empty set
B is set
{A} /\ B is set
A is set
{A} is non empty set
B is set
{A,B} is non empty set
a is set
{A,B} /\ a is set
A is set
{A} is non empty set
B is set
a is set
{A,a} is non empty set
{A,a} /\ B is set
X is set
A is set
B is set
{A,B} is non empty set
a is set
{A,B} /\ a is set
a /\ {A,B} is set
A is set
B is set
a is set
{a} is non empty set
B \ {a} is set
A is set
B is set
{B} is non empty set
A \ {B} is set
A is set
B is set
{B} is non empty set
A \ {B} is set
A is set
{A} is non empty set
B is set
{A} \ B is set
a is set
X is set
{a} is non empty set
{a} \ X is set
A is set
{A} is non empty set
B is set
{A} \ B is set
a is set
X is set
{a} is non empty set
{a} \ X is set
A is set
{A} is non empty set
B is set
{A} \ B is set
A is set
B is set
{A,B} is non empty set
a is set
{A,B} \ a is set
{A} is non empty set
X is set
x6 is set
c₅ is set
{X,c₅} is non empty set
{X,c₅} \ x6 is set
{X} is non empty set
A is set
B is set
{A,B} is non empty set
a is set
{A,B} \ a is set
X is set
x6 is set
c₅ is set
{X,c₅} is non empty set
{X,c₅} \ x6 is set
A is set
B is set
{A,B} is non empty set
a is set
{A,B} \ a is set
A is set
{A} is non empty set
B is set
{A,B} is non empty set
{B} is non empty set
a is set
{A,B} \ a is set
A is set
B is set
{B} is non empty set
a is set
{B,a} is non empty set
A \ {B,a} is set
{a} is non empty set
A is set
(A) is set
B is set
(B) is set
a is set
A is set
{A} is non empty set
(A) is set
A is set
(A) is set
B is set
(B) is set
(A) \/ (B) is set
A \/ B is set
((A \/ B)) is set
a is set
A is set
(A) is set
B is set
(B) is set
(A) \/ (B) is set
A \/ B is set
((A \/ B)) is set
A is set
(A) is set
B is set
A /\ B is set
((A /\ B)) is set
(B) is set
(A) /\ (B) is set
a is set
A is set
(A) is set
B is set
A \ B is set
((A \ B)) is set
(B) is set
(A) \ (B) is set
{{}} \/ ((A) \ (B)) is non empty set
a is set
a /\ B is set
A is set
B is set
A \ B is set
((A \ B)) is set
B \ A is set
((B \ A)) is set
((A \ B)) \/ ((B \ A)) is set
A \+\ B is set
(A \ B) \/ (B \ A) is set
((A \+\ B)) is set
a is set
X is set
A is set
B is set
union B is set
A is set
B is set
{A,B} is non empty set
union {A,B} is set
A \/ B is set
A is set
union A is set
B is set
a is set
X is set
A is set
union A is set
B is set
union B is set
a is set
X is set
A is set
union A is set
B is set
A \/ B is set
union (A \/ B) is set
union B is set
(union A) \/ (union B) is set
a is set
X is set
A is set
union A is set
B is set
A /\ B is set
union (A /\ B) is set
union B is set
(union A) /\ (union B) is set
a is set
X is set
A is set
union A is set
B is set
(union A) /\ B is set
a is set
X is set
X /\ B is set
A is set
(A) is set
union (A) is set
B is set
a is set
{B} is non empty set
A is set
union A is set
((union A)) is set
B is set
A is set
union A is set
B is set
A \/ B is set
A /\ B is set
union (A /\ B) is set
union B is set
(union A) /\ (union B) is set
a is set
X is set
c₅ is set
X /\ c₅ is set
A is set
B is set
a is set
(B,a) is set
X is set
A is set
B is set
a is set
(B,a) is set
X is set
B /\ X is set
c₅ is set
(X,c₅) is set
(B,a) /\ (X,c₅) is set
a /\ c₅ is set
x6 is set
x7 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
x2 is set
y2 is set
[x2,y2] is non empty set
{x2,y2} is non empty set
{x2} is non empty set
{{x2,y2},{x2}} is non empty set
A is set
B is set
(A,B) is set
A \/ B is set
((A \/ B)) is set
(((A \/ B))) is set
a is set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
x6 is set
A is set
B is set
[A,B] is non empty set
{A,B} is non empty set
{A} is non empty set
{{A,B},{A}} is non empty set
a is set
X is set
(a,X) is set
c₅ is set
x7 is set
x6 is set
x2 is set
[c₅,x6] is non empty set
{c₅,x6} is non empty set
{c₅} is non empty set
{{c₅,x6},{c₅}} is non empty set
(x7,x2) is set
A is set
B is set
[A,B] is non empty set
{A,B} is non empty set
{A} is non empty set
{{A,B},{A}} is non empty set
[B,A] is non empty set
{B,A} is non empty set
{B} is non empty set
{{B,A},{B}} is non empty set
a is set
X is set
(a,X) is set
(X,a) is set
A is set
B is set
(A,B) is set
a is set
X is set
(a,X) is set
c₅ is set
x6 is set
x7 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
x6 is set
x7 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
A is set
B is set
a is set
(B,a) is set
X is set
c₅ is set
x6 is set
(c₅,x6) is set
x7 is set
x2 is set
y2 is set
[x2,y2] is non empty set
{x2,y2} is non empty set
{x2} is non empty set
{{x2,y2},{x2}} is non empty set
c₁₀ is set
c₁₁ is set
[c₁₀,c₁₁] is non empty set
{c₁₀,c₁₁} is non empty set
{c₁₀} is non empty set
{{c₁₀,c₁₁},{c₁₀}} is non empty set
A is set
B is set
a is set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
x6 is set
x7 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
A is set
B is set
(A,B) is set
a is set
X is set
[a,X] is non empty set
{a,X} is non empty set
{a} is non empty set
{{a,X},{a}} is non empty set
a is set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
A is set
B is set
(A,B) is set
(B,A) is set
a is set
X is set
c₅ is set
[c₅,X] is non empty set
{c₅,X} is non empty set
{c₅} is non empty set
{{c₅,X},{c₅}} is non empty set
[c₅,a] is non empty set
{c₅,a} is non empty set
{c₅} is non empty set
{{c₅,a},{c₅}} is non empty set
A is set
(A,A) is set
B is set
(B,B) is set
a is set
[a,a] is non empty set
{a,a} is non empty set
{a} is non empty set
{{a,a},{a}} is non empty set
A is set
B is set
a is set
(B,a) is set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
A is set
(A,A) is set
B is set
union A is set
A \/ (union A) is set
a is set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
X is set
c₅ is set
x6 is set
[c₅,x6] is non empty set
{c₅,x6} is non empty set
{c₅} is non empty set
{{c₅,x6},{c₅}} is non empty set
A is set
B is set
(B,A) is set
(A,B) is set
a is set
(a,A) is set
(A,a) is set
X is set
c₅ is set
[c₅,X] is non empty set
{c₅,X} is non empty set
{c₅} is non empty set
{{c₅,X},{c₅}} is non empty set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
A is set
B is set
a is set
(A,a) is set
(B,a) is set
(a,A) is set
(a,B) is set
X is set
c₅ is set
x6 is set
[c₅,x6] is non empty set
{c₅,x6} is non empty set
{c₅} is non empty set
{{c₅,x6},{c₅}} is non empty set
X is set
c₅ is set
x6 is set
[c₅,x6] is non empty set
{c₅,x6} is non empty set
{c₅} is non empty set
{{c₅,x6},{c₅}} is non empty set
A is set
B is set
a is set
(A,a) is set
X is set
(B,X) is set
(B,a) is set
A is set
B is set
A \/ B is set
a is set
((A \/ B),a) is set
(A,a) is set
(B,a) is set
(A,a) \/ (B,a) is set
(a,(A \/ B)) is set
(a,A) is set
(a,B) is set
(a,A) \/ (a,B) is set
X is set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
X is set
c₅ is set
x6 is set
(c₅,x6) is set
x7 is set
x2 is set
(x7,x2) is set
(c₅,x6) \/ (x7,x2) is set
X is set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
[c₅,X] is non empty set
{c₅,X} is non empty set
{c₅} is non empty set
{{c₅,X},{c₅}} is non empty set
X is set
X is set
A is set
B is set
A \/ B is set
a is set
(A,a) is set
(B,a) is set
X is set
a \/ X is set
((A \/ B),(a \/ X)) is set
(A,X) is set
(A,a) \/ (A,X) is set
((A,a) \/ (A,X)) \/ (B,a) is set
(B,X) is set
(((A,a) \/ (A,X)) \/ (B,a)) \/ (B,X) is set
(A,(a \/ X)) is set
(B,(a \/ X)) is set
(A,(a \/ X)) \/ (B,(a \/ X)) is set
((A,a) \/ (A,X)) \/ (B,(a \/ X)) is set
(B,a) \/ (B,X) is set
((A,a) \/ (A,X)) \/ ((B,a) \/ (B,X)) is set
A is set
B is set
A /\ B is set
a is set
((A /\ B),a) is set
(A,a) is set
(B,a) is set
(A,a) /\ (B,a) is set
(a,(A /\ B)) is set
(a,A) is set
(a,B) is set
(a,A) /\ (a,B) is set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
[c₅,X] is non empty set
{c₅,X} is non empty set
{c₅} is non empty set
{{c₅,X},{c₅}} is non empty set
A is set
B is set
A /\ B is set
a is set
(A,a) is set
X is set
a /\ X is set
((A /\ B),(a /\ X)) is set
(B,X) is set
(A,a) /\ (B,X) is set
c₅ is set
x6 is set
x7 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
A is set
B is set
a is set
(B,a) is set
(A,a) is set
X is set
(A,X) is set
(A,X) /\ (B,a) is set
A /\ B is set
X /\ a is set
((A /\ B),(X /\ a)) is set
A is set
B is set
A \ B is set
a is set
((A \ B),a) is set
(A,a) is set
(B,a) is set
(A,a) \ (B,a) is set
(a,(A \ B)) is set
(a,A) is set
(a,B) is set
(a,A) \ (a,B) is set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
X is set
c₅ is set
[X,c₅] is non empty set
{X,c₅} is non empty set
{X} is non empty set
{{X,c₅},{X}} is non empty set
[c₅,X] is non empty set
{c₅,X} is non empty set
{c₅} is non empty set
{{c₅,X},{c₅}} is non empty set
A is set
B is set
(A,B) is set
a is set
A \ a is set
((A \ a),B) is set
X is set
(a,X) is set
(A,B) \ (a,X) is set
B \ X is set
(A,(B \ X)) is set
((A \ a),B) \/ (A,(B \ X)) is set
(a,B) is set
(A,X) is set
(a,B) /\ (A,X) is set
a /\ A is set
B /\ X is set
((a /\ A),(B /\ X)) is set
c₅ is set
x6 is set
x7 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
x6 is set
x7 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
(A,B) \ (a,B) is set
(A,B) \ (A,X) is set
(A,B) \ ((a /\ A),(B /\ X)) is set
A is set
B is set
a is set
(A,a) is set
X is set
(B,X) is set
(A,a) /\ (B,X) is set
c₅ is set
A /\ B is set
a /\ X is set
x6 is set
x7 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
A is set
B is set
[A,B] is non empty set
{A,B} is non empty set
{A} is non empty set
{{A,B},{A}} is non empty set
a is set
{a} is non empty set
X is set
({a},X) is set
A is set
B is set
[A,B] is non empty set
{A,B} is non empty set
{A} is non empty set
{{A,B},{A}} is non empty set
a is set
X is set
{X} is non empty set
(a,{X}) is set
A is set
B is set
{B} is non empty set
({B},A) is set
(A,{B}) is set
A is set
{A} is non empty set
B is set
{B} is non empty set
a is set
({A},a) is set
(a,{A}) is set
X is set
({B},X) is set
(X,{B}) is set
A is set
{A} is non empty set
B is set
{A,B} is non empty set
{B} is non empty set
a is set
({A,B},a) is set
({A},a) is set
({B},a) is set
({A},a) \/ ({B},a) is set
(a,{A,B}) is set
(a,{A}) is set
(a,{B}) is set
(a,{A}) \/ (a,{B}) is set
{A} \/ {B} is non empty set
A is set
B is set
(A,B) is set
a is set
X is set
(a,X) is set
c₅ is set
x6 is set
x7 is set
x2 is set
[x7,x6] is non empty set
{x7,x6} is non empty set
{x7} is non empty set
{{x7,x6},{x7}} is non empty set
[x7,x2] is non empty set
{x7,x2} is non empty set
{x7} is non empty set
{{x7,x2},{x7}} is non empty set
x7 is set
x2 is set
[c₅,x7] is non empty set
{c₅,x7} is non empty set
{c₅} is non empty set
{{c₅,x7},{c₅}} is non empty set
[x2,x7] is non empty set
{x2,x7} is non empty set
{x2} is non empty set
{{x2,x7},{x2}} is non empty set
A is set
B is set
(A,B) is set
(B,A) is set
union A is set
a is set
A \/ a is set
X is set
c₅ is set
x6 is set
c₅ is set
x6 is set
c₅ is set
c₅ is set
c₅ is set
x7 is set
x6 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
x6 is set
x7 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
a is set
A \/ (union A) is set
X is set
c₅ is set
x6 is set
[c₅,x6] is non empty set
{c₅,x6} is non empty set
{c₅} is non empty set
{{c₅,x6},{c₅}} is non empty set
c₅ is set
x6 is set
x7 is set
[x6,x7] is non empty set
{x6,x7} is non empty set
{x6} is non empty set
{{x6,x7},{x6}} is non empty set
A is set
B is set
a is set
X is set
a is set
(a) is set
X is set
c₅ is set
a is set
A is set
B is set
a is set
(B,a) is set
X is set
B /\ X is set
c₅ is set
(X,c₅) is set
a /\ c₅ is set
((B /\ X),(a /\ c₅)) is set
(B,a) /\ (X,c₅) is set
A is set
B is set
(A,B) is set
a is set
X is set
(a,X) is set
(A,B) /\ (a,X) is set
A /\ a is set
B /\ X is set
((A /\ a),(B /\ X)) is set
A is non empty set
B is set
(A,B) is set
a is set
X is set
(a,X) is set
(B,A) is set
(X,a) is set
A is set
{A} is non empty set
B is set
B \ {A} is set
(B \ {A}) \/ {A} is non empty set
a is set
a is set
A is set
{A} is non empty set
B is set
B \/ {A} is non empty set
(B \/ {A}) \ {A} is set
B \ {A} is set
X is set
A is set
B is set
a is set
{A,B,a} is set
{A} is non empty set
{B} is non empty set
{a} is non empty set
{A,B} is non empty set
{B,a} is non empty set
{A,a} is non empty set
c₅ is set
{A,B,a} \ {A} is set
{A} \/ {B,a} is non empty set
({A} \/ {B,a}) \ {A} is set
{B,a} \ {A} is set
{A,B,a} \ {B} is set
{A,B} \/ {a} is non empty set
({A,B} \/ {a}) \ {B} is set
{A} \/ {B} is non empty set
({A} \/ {B}) \/ {a} is non empty set
(({A} \/ {B}) \/ {a}) \ {B} is set
{A} \/ {a} is non empty set
({A} \/ {a}) \/ {B} is non empty set
(({A} \/ {a}) \/ {B}) \ {B} is set
{A,a} \/ {B} is non empty set
({A,a} \/ {B}) \ {B} is set
{A,a} \ {B} is set
{A,B,a} \ {a} is set
({A,B} \/ {a}) \ {a} is set
{A,B} \ {a} is set
{A} \/ {B,a} is non empty set
{A,B} \/ {a} is non empty set
{A,B} \/ {a} is non empty set
{A,B} \/ {a} is non empty set
{A} \/ {B,a} is non empty set
{A,a} \/ {B} is non empty set
{A} \/ {a} is non empty set
({A} \/ {a}) \/ {B} is non empty set
{B} \/ {a} is non empty set
{A} \/ ({B} \/ {a}) is non empty set
{A} \/ {B,a} is non empty set
A is set
B is set
A \/ B is set
a is set
X is set
(a,X) is set
c₅ is set
a \/ c₅ is set
x6 is set
(c₅,x6) is set
X \/ x6 is set
((a \/ c₅),(X \/ x6)) is set
(a,X) \/ (c₅,x6) is set
A is set
B is set
{A,B} is non empty set
a is set
{A,B} /\ a is set
X is set
A is set
B is set
{A,B} is non empty set
a is set
a \ {A,B} is set
A is set
B is set
{A,B} is non empty set
a is set
a \/ {A,B} is non empty set
(a \/ {A,B}) \ {A,B} is set
a \ {A,B} is set
A is set
B is set
{A,B} is non empty set
a is set
[A,a] is non empty set
{A,a} is non empty set
{A} is non empty set
{{A,a},{A}} is non empty set
[B,a] is non empty set
{B,a} is non empty set
{B} is non empty set
{{B,a},{B}} is non empty set
X is set
{a,X} is non empty set
({A,B},{a,X}) is set
[A,X] is non empty set
{A,X} is non empty set
{{A,X},{A}} is non empty set
[B,X] is non empty set
{B,X} is non empty set
{{B,X},{B}} is non empty set
{[A,a],[A,X],[B,a],[B,X]} is set
{A} \/ {B} is non empty set
(({A} \/ {B}),{a,X}) is set
({A},{a,X}) is set
({B},{a,X}) is set
({A},{a,X}) \/ ({B},{a,X}) is set
{[A,a],[A,X]} is non empty set
{[A,a],[A,X]} \/ ({B},{a,X}) is non empty set
{[B,a],[B,X]} is non empty set
{[A,a],[A,X]} \/ {[B,a],[B,X]} is non empty set
A is set
B is set
a is set
{A} is non empty set
a \/ {A} is non empty set
{B} is non empty set
(a \/ {A}) \ {B} is set
a \ {B} is set
(a \ {B}) \/ {A} is non empty set
A is set
B is set
a is set
A is set
A is set
{A} is non empty set
B is set
a is set
A is set
B is set
a is set
B /\ a is set
X is set
{X} is non empty () set
A /\ a is set
A is set
B is set
A /\ B is set
X is set
{X} is non empty () set
a is set
A \/ a is set
(A /\ B) /\ B is set
a /\ B is set
B /\ B is set
A /\ (B /\ B) is set
(A \/ a) /\ B is set
(A /\ B) \/ (a /\ B) is set
A is set
B is set
union A is set
union B is set
a is set
X is set
A is set
B is empty () set
(A,B) is set
A is empty () set
B is set
(A,B) is set
A is set
B is set
(A,B) is set
a is set
X is set
[a,X] is non empty set
{a,X} is non empty set
{a} is non empty () set
{{a,X},{a}} is non empty set
A is set
{A} is non empty () set
[A,{A}] is non empty set
{A,{A}} is non empty set
{{A,{A}},{A}} is non empty set
({A},[A,{A}]) is set
[A,{A,{A}}] is non empty set
{A,{A,{A}}} is non empty set
{{A,{A,{A}}},{A}} is non empty set
{[A,{A}],[A,{A,{A}}]} is non empty set
A is set
B is set
(B,A) is set
a is set
X is set
[a,X] is non empty set
{a,X} is non empty set
{a} is non empty () set
{{a,X},{a}} is non empty set
[a,{a}] is non empty set
{a,{a}} is non empty set
{{a,{a}},{a}} is non empty set
A is set
B is set
a is set
X is set
{{},{{}}} is non empty set
A is set
B is set
{B} is non empty () set
a is set
X is set
A is set
{A} is non empty () set
B is () set
a is set
{a} is non empty () set
A is set
X is set
B is set
a is set
{A,B,a} is set
{A,B} is non empty set
{a} is non empty () set
{A,B} \/ {a} is non empty set
A is set
B is set
[A,B] is non empty set
{A,B} is non empty set
{A} is non empty () set
{{A,B},{A}} is non empty set
a is set
union a is set
union (union a) is set
A is set
B is set
{B} is non empty () set
A \/ {B} is non empty set
a is set
a /\ (A \/ {B}) is set
a /\ A is set
a /\ {B} is set
(a /\ A) \/ (a /\ {B}) is set
(a /\ A) \/ {} is set
A is set
B is set
{B} is non empty () set
a is set
a \/ {B} is non empty set
A is set
{A} is non empty () set
B is set
a is set
a \/ {A} is non empty set
A is set
B is set
a is set
{a} is non empty () set
A \/ {a} is non empty set