:: SUBSET_1 semantic presentation

{} is empty trivial set

the empty trivial set is empty trivial set

X is set

bool X is set

X is set

x is set

d1 is set

{X,x,d1} is set

d2 is set

{X,x,d1,d2} is set

d1 is set

{X,x,d1,d2,d1} is set

d2 is set

{X,x,d1,d2,d1,d2} is set

c

{X,x,d1,d2,d1,d2,c

x is set

{X,x,d1,d2,d1,d2,c

c

{X,x,d1,d2,d1,d2,c

x is set

{X,x,d1,d2,d1,d2,c

X is set

x is set

{{}} is non empty trivial set

x is set

X is non empty set

bool X is non empty set

X is non empty set

x is non empty set

[:X,x:] is set

d1 is set

d2 is set

[d2,d1] is non empty set

{d2,d1} is non empty set

{d2} is non empty trivial set

{{d2,d1},{d2}} is non empty set

X is non empty set

x is non empty set

d1 is non empty set

[:X,x,d1:] is set

[:X,x:] is non empty set

[:[:X,x:],d1:] is non empty set

X is non empty set

x is non empty set

d1 is non empty set

d2 is non empty set

[:X,x,d1,d2:] is set

[:X,x,d1:] is non empty set

[:X,x:] is non empty set

[:[:X,x:],d1:] is non empty set

[:[:X,x,d1:],d2:] is non empty set

X is non empty set

bool X is non empty set

x is non empty ( bool X)

d1 is (x)

X is set

bool X is non empty set

x is ( bool X)

d1 is set

X is set

bool X is non empty set

X is set

bool X is non empty set

X is set

(X) is ( bool X)

bool X is non empty set

X is set

bool X is non empty set

(X) is empty trivial ( bool X)

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

d2 is set

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

X is set

bool X is non empty set

x is ( bool X)

d1 is set

X is set

bool X is non empty set

x is ( bool X)

X \ x is set

d1 is ( bool X)

d2 is ( bool X)

X \ d2 is set

X \ d1 is set

X /\ d2 is set

{} \/ (X /\ d2) is set

X \ X is set

(X \ X) \/ (X /\ d2) is set

d1 is ( bool X)

x \/ d1 is set

x \+\ d1 is set

x \ d1 is set

d1 \ x is set

(x \ d1) \/ (d1 \ x) is set

X is set

x is set

X \ x is set

bool X is non empty set

X is set

bool X is non empty set

x is ( bool X)

d1 is set

x \ d1 is set

(x,d1) is ( bool x)

bool x is non empty set

X is set

bool X is non empty set

x is ( bool X)

d1 is set

x /\ d1 is set

X is set

bool X is non empty set

x is set

d1 is ( bool X)

x /\ d1 is set

(X,d1,x) is ( bool X)

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

d2 is ( bool X)

(X,d1,d2) is ( bool X)

d1 is (X)

d1 is (X)

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

d2 is ( bool X)

(X,d1,d2) is ( bool X)

d1 is (X)

d1 is (X)

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

d2 is ( bool X)

(X,d1,d2) is ( bool X)

d1 is (X)

d1 is (X)

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

d2 is ( bool X)

(X,d1,d2) is ( bool X)

d1 \ d2 is set

d2 \ d1 is set

(d1 \ d2) \/ (d2 \ d1) is set

d1 is (X)

(X,d1,d2) is ( bool X)

(X,d2,d1) is ( bool X)

d1 is (X)

X is set

(X) is ( bool X)

bool X is non empty set

(X) is empty trivial ( bool X)

(X,(X)) is ( bool X)

X \ (X) is set

X is set

bool X is non empty set

(X) is ( bool X)

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

(X,x,(X,x)) is ( bool X)

X is set

bool X is non empty set

(X) is ( bool X)

x is ( bool X)

(X,x,(X)) is ( bool X)

X is set

bool X is non empty set

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

(X,(X,d1)) is ( bool X)

(X,(X,d1)) is ( bool X)

X \ (X,d1) is set

(X,(X,x)) is ( bool X)

(X,(X,x)) is ( bool X)

X \ (X,x) is set

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

(X,x,d1) is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

(X,x,(X,d1)) is ( bool X)

(X,x,X) is ( bool X)

(X,(X,x,X),d1) is ( bool X)

X is set

bool X is non empty set

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

d1 is ( bool X)

(X,x,d1) is ( bool X)

(X,(X,x,d1)) is ( bool X)

X \ (X,x,d1) is set

(X,(X,x),d1) is ( bool X)

(X,x) is ( bool X)

(X,X,d1) is ( bool X)

(X,(X,x),(X,X,d1)) is ( bool X)

X is set

bool X is non empty set

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

d1 is ( bool X)

(X,x,d1) is ( bool X)

x \ d1 is set

d1 \ x is set

(x \ d1) \/ (d1 \ x) is set

(X,(X,x,d1)) is ( bool X)

X \ (X,x,d1) is set

(X,x,d1) is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

(X,(X,x),(X,d1)) is ( bool X)

(X,(X,x,d1),(X,(X,x),(X,d1))) is ( bool X)

(X,x,d1) is ( bool X)

(X,(X,x,d1)) is ( bool X)

(X,X,x) is ( bool X)

(X,(X,X,x),d1) is ( bool X)

(X,(X,(X,x,d1)),(X,(X,X,x),d1)) is ( bool X)

(X,(X,x,d1),(X,(X,x,d1))) is ( bool X)

X is set

bool X is non empty set

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

(X,(X,d1)) is ( bool X)

X \ (X,d1) is set

X is set

bool X is non empty set

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

(X,(X,x)) is ( bool X)

X \ (X,x) is set

X is set

bool X is non empty set

(X) is empty trivial ( bool X)

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

X is set

bool X is non empty set

(X) is ( bool X)

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

(X,x,(X,x)) is ( bool X)

X is set

bool X is non empty set

x is set

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

X is set

bool X is non empty set

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

d1 is ( bool X)

(X,x,d1) is ( bool X)

(X,(X,x,d1)) is ( bool X)

X \ (X,x,d1) is set

X is set

bool X is non empty set

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

d1 is ( bool X)

(X,x,d1) is ( bool X)

(X,(X,x,d1)) is ( bool X)

X \ (X,x,d1) is set

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

d2 is set

d2 is set

(X,d1) is ( bool X)

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

(X,(X,d1)) is ( bool X)

X \ (X,d1) is set

X is set

bool X is non empty set

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

d2 is set

d2 is set

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

d2 is ( bool X)

(X,d2) is ( bool X)

X \ d2 is set

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

d2 is set

X is set

bool X is non empty set

x is ( bool X)

d1 is set

X is set

bool X is non empty set

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

d1 is (X)

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

d2 is set

d2 is set

d1 is (X)

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

d2 is (X)

d1 is (X)

X is set

bool X is non empty set

x is ( bool X)

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

d2 is (X)

d1 is (X)

X is set

bool X is non empty set

x is (X)

{x} is non empty trivial set

d1 is set

X is set

bool X is non empty set

x is (X)

d1 is (X)

{x,d1} is non empty set

d2 is set

X is set

bool X is non empty set

x is (X)

d1 is (X)

d2 is (X)

{x,d1,d2} is non empty set

d1 is set

X is set

bool X is non empty set

x is (X)

d1 is (X)

d2 is (X)

d1 is (X)

{x,d1,d2,d1} is non empty set

d2 is set

X is set

bool X is non empty set

x is (X)

d1 is (X)

d2 is (X)

d1 is (X)

d2 is (X)

{x,d1,d2,d1,d2} is non empty set

c

X is set

bool X is non empty set

x is (X)

d1 is (X)

d2 is (X)

d1 is (X)

d2 is (X)

c

{x,d1,d2,d1,d2,c

x is set

X is set

bool X is non empty set

x is (X)

d1 is (X)

d2 is (X)

d1 is (X)

d2 is (X)

c

x is (X)

{x,d1,d2,d1,d2,c

c

X is set

bool X is non empty set

x is (X)

d1 is (X)

d2 is (X)

d1 is (X)

d2 is (X)

c

x is (X)

c

{x,d1,d2,d1,d2,c

x is set

X is set

{X} is non empty trivial set

x is set

bool x is non empty set

F

bool F

X is set

x is set

x is ( bool F

d1 is set

d2 is set

F

bool F

F

F

X is (F

d1 is non empty set

d2 is set

d1 is non empty set

X is set

the (X) is (X)

X is set

x is set

bool x is non empty set

X is set

x is set

bool x is non empty set

d1 is ( bool x)

F

bool F

X is set

x is set

x is ( bool F

d1 is (F

F

bool F

F

F

X is set

x is (F

X is set

x is (F

X is set

bool X is non empty set

x is ( bool X)

(X,x) is ( bool X)

X \ x is set

d1 is ( bool X)

(X,d1) is ( bool X)

X \ d1 is set

(X,(X,d1)) is ( bool X)

X \ (X,d1) is set

X is empty trivial set

bool X is non empty set

x is ( bool X)

X is set

bool X is non empty set

X is set

(X) is ( bool X)

bool X is non empty set

X is set

bool X is non empty set

(X) is (X) ( bool X)

X is non empty set

bool X is non empty set

x is ( bool X)

x is ( bool X)

X is non empty set

bool X is non empty set

(X) is empty trivial (X) ( bool X)

X is empty trivial set

bool X is non empty set

x is empty trivial ( bool X)

d1 is set

X is set

x is set

[:X,x:] is set

d2 is set

d1 is set

d2 is set

[d1,d2] is non empty set

{d1,d2} is non empty set

{d1} is non empty trivial set

{{d1,d2},{d1}} is non empty set

x is (X)

c

[x,c

{x,c

{x} is non empty trivial set

{{x,c

X is non empty set

bool X is non empty set

x is non empty ( bool X)

d1 is non empty ( bool X)

(X,d1,x) is ( bool X)

d2 is (X)

{d2} is non empty trivial set

(X,d1,{d2}) is ( bool X)

X is non empty set

x is (X)

d1 is (X)

x is set

d1 is set

X is non empty set

bool X is non empty set

the (X) is (X)

{ the (X)} is non empty trivial set

x is ( bool X)

d1 is set

d2 is set

X is trivial set

bool X is non empty set

x is ( bool X)

d1 is set

d2 is set

X is non empty non trivial set

bool X is non empty set

(X) is non empty (X) ( bool X)

X is set

bool X is non empty set

x is ( bool X)

d1 is set

d2 is set

d1 is (X)

d2 is (X)

X is non empty trivial set

x is set

{x} is non empty trivial set

d1 is (X)

{d1} is non empty trivial set

X is non empty set

bool X is non empty set

x is non empty ( bool X)

d1 is (X,x)

{d1} is non empty trivial set

X is non empty non trivial set

x is (X)

d1 is set

d2 is set