REAL is non empty set
K18(REAL) is set
NAT is non empty epsilon-transitive epsilon-connected ordinal Element of K18(REAL)
INT is non empty set
COMPLEX is non empty set
RAT is non empty set
NAT is non empty epsilon-transitive epsilon-connected ordinal set
ExtREAL is non empty set
+infty is non real set
-infty is non real set
K62() is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
the empty complex ext-real non negative epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural real integer rational set is empty complex ext-real non negative epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural real integer rational set
[K62(),REAL] is set
{K62(),REAL} is set
{K62()} is set
{{K62(),REAL},{K62()}} is set
{+infty,-infty} is set
REAL \/ {+infty,-infty} is set
1 is non empty set
{} is set
{{}} is set
c1 is set
x is set
c1 is set
x is set
c1 is set
x is set
c1 is set
x is set
c1 is set
x is set
c1 is set
K18(COMPLEX) is set
c1 is Element of K18(COMPLEX)
x is set
K18(ExtREAL) is set
c1 is Element of K18(ExtREAL)
x is set
c1 is Element of K18(REAL)
x is set
K18(RAT) is set
c1 is Element of K18(RAT)
x is set
K18(INT) is set
c1 is Element of K18(INT)
x is set
K18(NAT) is set
c1 is Element of K18(NAT)
x is set
c1 is set
c1 is set
c1 is set
c1 is set
c1 is set
c1 is set
c1 is set
x is set
c1 is set
x is set
c1 is set
x is set
c1 is set
x is set
c1 is set
x is set
c1 is set
x is set
c1 is () set
x is Element of c1
c1 is () set
x is Element of c1
c1 is () () () set
x is complex ext-real Element of c1
c1 is () () () () set
x is complex ext-real real Element of c1
c1 is () () () () () set
x is complex ext-real real rational Element of c1
c1 is () () () () () () set
x is complex ext-real real integer rational Element of c1
c1 is non empty () set
x is set
c1 is non empty () set
x is set
c1 is non empty () () () set
x is set
c1 is non empty () () () () set
x is set
c1 is non empty () () () () () set
x is set
c1 is non empty () () () () () () set
x is set
c1 is () set
x is set
c1 is () set
x is set
c1 is () () () set
x is set
c1 is () () () () set
x is set
c1 is () () () () () set
x is set
c1 is () () () () () () set
x is set
c1 is set
x is () set
x is set
c1 is set
x is () set
x is set
c1 is set
x is () () () set
x is set
c1 is set
x is () () () () set
x is set
c1 is set
x is () () () () () set
x is set
c1 is set
x is () () () () () () set
x is set
c1 is set
x is set
c1 is complex set
{c1} is set
x is set
c1 is ext-real set
{c1} is set
x is set
c1 is complex ext-real real set
{c1} is () () set
x is set
c1 is complex ext-real real rational set
{c1} is () () () set
x is set
c1 is complex ext-real real integer rational set
{c1} is () () () () set
x is set
c1 is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
{c1} is () () () () () set
x is set
c1 is complex set
x is complex set
{c1,x} is set
x is set
c1 is ext-real set
x is ext-real set
{c1,x} is set
x is set
c1 is complex ext-real real set
x is complex ext-real real set
{c1,x} is () () set
x is set
c1 is complex ext-real real rational set
x is complex ext-real real rational set
{c1,x} is () () () set
x is set
c1 is complex ext-real real integer rational set
x is complex ext-real real integer rational set
{c1,x} is () () () () set
x is set
c1 is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
x is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
{c1,x} is () () () () () set
x is set
c1 is complex set
x is complex set
x is complex set
{c1,x,x} is set
a is set
c1 is ext-real set
x is ext-real set
x is ext-real set
{c1,x,x} is set
a is set
c1 is complex ext-real real set
x is complex ext-real real set
x is complex ext-real real set
{c1,x,x} is () () set
a is set
c1 is complex ext-real real rational set
x is complex ext-real real rational set
x is complex ext-real real rational set
{c1,x,x} is () () () set
a is set
c1 is complex ext-real real integer rational set
x is complex ext-real real integer rational set
x is complex ext-real real integer rational set
{c1,x,x} is () () () () set
a is set
c1 is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
x is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
x is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
{c1,x,x} is () () () () () set
a is set
c1 is () set
K18(c1) is set
x is Element of K18(c1)
x is set
c1 is () set
K18(c1) is set
x is Element of K18(c1)
x is set
c1 is () () () set
K18(c1) is set
x is () () Element of K18(c1)
x is set
c1 is () () () () set
K18(c1) is set
x is () () () Element of K18(c1)
x is set
c1 is () () () () () set
K18(c1) is set
x is () () () () Element of K18(c1)
x is set
c1 is () () () () () () set
K18(c1) is set
x is () () () () () Element of K18(c1)
x is set
c1 is () set
x is () set
c1 \/ x is set
x is set
c1 is () set
x is () set
c1 \/ x is set
x is set
c1 is () () () set
x is () () () set
c1 \/ x is () () set
x is set
c1 is () () () () set
x is () () () () set
c1 \/ x is () () () set
x is set
c1 is () () () () () set
x is () () () () () set
c1 \/ x is () () () () set
x is set
c1 is () () () () () () set
x is () () () () () () set
c1 \/ x is () () () () () set
x is set
c1 is () set
x is set
c1 /\ x is set
x /\ c1 is () set
c1 is () set
x is set
c1 /\ x is set
x /\ c1 is () set
c1 is () () () set
x is set
c1 /\ x is () () set
x /\ c1 is () () () set
c1 is () () () () set
x is set
c1 /\ x is () () () set
x /\ c1 is () () () () set
c1 is () () () () () set
x is set
c1 /\ x is () () () () set
x /\ c1 is () () () () () set
c1 is () () () () () () set
x is set
c1 /\ x is () () () () () set
x /\ c1 is () () () () () () set
c1 is () set
x is set
c1 \ x is () Element of K18(c1)
K18(c1) is set
c1 is () set
x is set
c1 \ x is () Element of K18(c1)
K18(c1) is set
c1 is () () () set
x is set
c1 \ x is () () () Element of K18(c1)
K18(c1) is set
c1 is () () () () set
x is set
c1 \ x is () () () () Element of K18(c1)
K18(c1) is set
c1 is () () () () () set
x is set
c1 \ x is () () () () () Element of K18(c1)
K18(c1) is set
c1 is () () () () () () set
x is set
c1 \ x is () () () () () () Element of K18(c1)
K18(c1) is set
c1 is () set
x is () set
c1 \+\ x is set
c1 \ x is () set
x \ c1 is () set
(c1 \ x) \/ (x \ c1) is () set
c1 is () set
x is () set
c1 \+\ x is set
c1 \ x is () set
x \ c1 is () set
(c1 \ x) \/ (x \ c1) is () set
c1 is () () () set
x is () () () set
c1 \+\ x is () () set
c1 \ x is () () () set
x \ c1 is () () () set
(c1 \ x) \/ (x \ c1) is () () () set
c1 is () () () () set
x is () () () () set
c1 \+\ x is () () () set
c1 \ x is () () () () set
x \ c1 is () () () () set
(c1 \ x) \/ (x \ c1) is () () () () set
c1 is () () () () () set
x is () () () () () set
c1 \+\ x is () () () () set
c1 \ x is () () () () () set
x \ c1 is () () () () () set
(c1 \ x) \/ (x \ c1) is () () () () () set
c1 is () () () () () () set
x is () () () () () () set
c1 \+\ x is () () () () () set
c1 \ x is () () () () () () set
x \ c1 is () () () () () () set
(c1 \ x) \/ (x \ c1) is () () () () () () set
c1 is () set
x is set
x is complex set
x is set
c1 is () set
x is set
x is ext-real set
x is set
c1 is () () () set
x is set
x is complex ext-real real set
x is ext-real set
c1 is () () () () set
x is set
x is complex ext-real real rational set
x is complex ext-real real set
c1 is () () () () () set
x is set
x is complex ext-real real integer rational set
x is complex ext-real real rational set
c1 is () () () () () () set
x is set
x is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
x is complex ext-real real integer rational set
c1 is () set
x is () set
x is complex set
a is complex set
c1 is () set
x is () set
x is ext-real set
a is ext-real set
c1 is () () () set
x is () () () set
x is complex ext-real real set
a is complex ext-real real set
c1 is () () () () set
x is () () () () set
x is complex ext-real real rational set
a is complex ext-real real rational set
c1 is () () () () () set
x is () () () () () set
x is complex ext-real real integer rational set
a is complex ext-real real integer rational set
c1 is () () () () () () set
x is () () () () () () set
x is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
a is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
c1 is () set
x is () set
x is complex set
x is set
c1 is () set
x is () set
x is ext-real set
x is set
c1 is () () () set
x is () () () set
x is complex ext-real real set
x is set
c1 is () () () () set
x is () () () () set
x is complex ext-real real rational set
x is set
c1 is () () () () () set
x is () () () () () set
x is complex ext-real real integer rational set
x is set
c1 is () () () () () () set
x is () () () () () () set
x is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
x is set
c1 is set
union c1 is set
x is set
x is set
c1 is set
union c1 is set
x is set
x is set
c1 is set
union c1 is set
x is set
x is set
c1 is set
union c1 is set
x is set
x is set
c1 is set
union c1 is set
x is set
x is set
c1 is set
union c1 is set
x is set
x is set
x is set
c1 is set
meet c1 is set
x is set
c1 is set
meet c1 is set
x is set
c1 is set
meet c1 is set
x is set
c1 is set
meet c1 is set
x is set
c1 is set
meet c1 is set
x is set
c1 is set
meet c1 is set
c1 is set
x is set
x is () set
x is complex set
c1 is set
x is set
x is () set
x is ext-real set
c1 is set
x is set
x is () () () set
x is complex ext-real real set
c1 is set
x is set
x is () () () () set
x is complex ext-real real rational set
c1 is set
x is set
x is () () () () () set
x is complex ext-real real integer rational set
c1 is set
x is set
x is () () () () () () set
x is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set
the non empty () () () () () () set is non empty () () () () () () set
c1 is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
x is set
c1 is () () () set
x is () () () set
the complex ext-real real Element of c1 is complex ext-real real Element of c1
the complex ext-real real Element of x is complex ext-real real Element of x
a is complex ext-real real set
b is complex ext-real real set
d is complex ext-real real set
d is complex ext-real real set
c9 is complex ext-real real set
c10 is complex ext-real real set
c1 is set
x is complex set
x is complex set
x + x is complex set
c1 is complex set
x is complex set
c1 + x is complex set
c1 is complex set
x is complex set
c1 + x is complex set
c1 is complex set
x is complex set
c1 + x is complex set
c1 is complex set
x is complex set
c1 + x is complex set
c1 is complex set
x is complex set
c1 + x is complex set