:: 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

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

x6 is set

[c

{c

{c

{{c

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

c

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

x6 is set

[c

{c

{c

{{c

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

[X,c

{X,c

{X} is non empty set

{{X,c

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

x6 is set

[c

{c

{c

{{c

X is set

c

x6 is set

[c

{c

{c

{{c

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

{c

x6 is set

{x6} is non empty set

{c

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

{X,c

{X,c

{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

{X,c

{X,c

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

X /\ c

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

(X,c

(B,a) /\ (X,c

a /\ c

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

[X,c

{X,c

{X} is non empty set

{{X,c

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

x7 is set

x6 is set

x2 is set

[c

{c

{c

{{c

(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

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

x6 is set

(c

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

c

[c

{c

{c

{{c

A is set

B is set

a is set

X is set

c

[X,c

{X,c

{X} is non empty set

{{X,c

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

[X,c

{X,c

{X} is non empty set

{{X,c

X is set

c

[X,c

{X,c

{X} is non empty set

{{X,c

A is set

B is set

(A,B) is set

(B,A) is set

a is set

X is set

c

[c

{c

{c

{{c

[c

{c

{c

{{c

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

[X,c

{X,c

{X} is non empty set

{{X,c

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

[X,c

{X,c

{X} is non empty set

{{X,c

X is set

c

x6 is set

[c

{c

{c

{{c

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

[c

{c

{c

{{c

[X,c

{X,c

{X} is non empty set

{{X,c

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

x6 is set

[c

{c

{c

{{c

X is set

c

x6 is set

[c

{c

{c

{{c

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

[X,c

{X,c

{X} is non empty set

{{X,c

X is set

c

x6 is set

(c

x7 is set

x2 is set

(x7,x2) is set

(c

X is set

X is set

c

[X,c

{X,c

{X} is non empty set

{{X,c

[c

{c

{c

{{c

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

[X,c

{X,c

{X} is non empty set

{{X,c

X is set

c

[X,c

{X,c

{X} is non empty set

{{X,c

[c

{c

{c

{{c

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

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

[X,c

{X,c

{X} is non empty set

{{X,c

X is set

c

[X,c

{X,c

{X} is non empty set

{{X,c

[c

{c

{c

{{c

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

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

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

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

{c

{c

{{c

[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

x6 is set

c

x6 is set

c

c

c

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

x6 is set

[c

{c

{c

{{c

c

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

a is set

A is set

B is set

a is set

(B,a) is set

X is set

B /\ X is set

c

(X,c

a /\ c

((B /\ X),(a /\ c

(B,a) /\ (X,c

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

{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

a \/ c

x6 is set

(c

X \/ x6 is set

((a \/ c

(a,X) \/ (c

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