:: 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₇ is set
{X,x,d1,d2,d1,d2,c₇} is set
x is set
{X,x,d1,d2,d1,d2,c₇,x} is set
c₉ is set
{X,x,d1,d2,d1,d2,c₇,x,c₉} is set
x is set
{X,x,d1,d2,d1,d2,c₇,x,c₉,x} is set
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₇ 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₇ is (X)
{x,d1,d2,d1,d2,c₇} is non empty set
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₇ is (X)
x is (X)
{x,d1,d2,d1,d2,c₇,x} is non empty set
c₉ 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₇ is (X)
x is (X)
c₉ is (X)
{x,d1,d2,d1,d2,c₇,x,c₉} is non empty set
x is set
X is set
{X} is non empty trivial set
x is set
bool x is non empty set
F₁() is set
bool F₁() is non empty set
X is set
x is set
x is ( bool F₁())
d1 is set
d2 is set
F₁() is set
bool F₁() is non empty set
F₂() is ( bool F₁())
F₃() is ( bool 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₁() is non empty set
bool F₁() is non empty set
X is set
x is set
x is ( bool F₁())
d1 is (F₁())
F₁() is set
bool F₁() is non empty set
F₂() is ( bool F₁())
F₃() is ( bool 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₇ is (x)
[x,c₇] is non empty set
{x,c₇} is non empty set
{x} is non empty trivial set
{{x,c₇},{x}} is non empty set
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