:: MEMBERED semantic presentation

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

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

K18(COMPLEX) is set

c

x is set

K18(ExtREAL) is set

c

x is set

c

x is set

K18(RAT) is set

c

x is set

K18(INT) is set

c

x is set

K18(NAT) is set

c

x is set

c

c

c

c

c

c

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

x is Element of c

c

x is Element of c

c

x is complex ext-real Element of c

c

x is complex ext-real real Element of c

c

x is complex ext-real real rational Element of c

c

x is complex ext-real real integer rational Element of c

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

x is set

c

x is () set

x is set

c

x is () set

x is set

c

x is () () () set

x is set

c

x is () () () () set

x is set

c

x is () () () () () set

x is set

c

x is () () () () () () set

x is set

c

x is set

c

{c

x is set

c

{c

x is set

c

{c

x is set

c

{c

x is set

c

{c

x is set

c

{c

x is set

c

x is complex set

{c

x is set

c

x is ext-real set

{c

x is set

c

x is complex ext-real real set

{c

x is set

c

x is complex ext-real real rational set

{c

x is set

c

x is complex ext-real real integer rational set

{c

x is set

c

x is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set

{c

x is set

c

x is complex set

x is complex set

{c

a is set

c

x is ext-real set

x is ext-real set

{c

a is set

c

x is complex ext-real real set

x is complex ext-real real set

{c

a is set

c

x is complex ext-real real rational set

x is complex ext-real real rational set

{c

a is set

c

x is complex ext-real real integer rational set

x is complex ext-real real integer rational set

{c

a is set

c

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

{c

a is set

c

K18(c

x is Element of K18(c

x is set

c

K18(c

x is Element of K18(c

x is set

c

K18(c

x is () () Element of K18(c

x is set

c

K18(c

x is () () () Element of K18(c

x is set

c

K18(c

x is () () () () Element of K18(c

x is set

c

K18(c

x is () () () () () Element of K18(c

x is set

c

x is () set

c

x is set

c

x is () set

c

x is set

c

x is () () () set

c

x is set

c

x is () () () () set

c

x is set

c

x is () () () () () set

c

x is set

c

x is () () () () () () set

c

x is set

c

x is set

c

x /\ c

c

x is set

c

x /\ c

c

x is set

c

x /\ c

c

x is set

c

x /\ c

c

x is set

c

x /\ c

c

x is set

c

x /\ c

c

x is set

c

K18(c

c

x is set

c

K18(c

c

x is set

c

K18(c

c

x is set

c

K18(c

c

x is set

c

K18(c

c

x is set

c

K18(c

c

x is () set

c

c

x \ c

(c

c

x is () set

c

c

x \ c

(c

c

x is () () () set

c

c

x \ c

(c

c

x is () () () () set

c

c

x \ c

(c

c

x is () () () () () set

c

c

x \ c

(c

c

x is () () () () () () set

c

c

x \ c

(c

c

x is set

x is complex set

x is set

c

x is set

x is ext-real set

x is set

c

x is set

x is complex ext-real real set

x is ext-real set

c

x is set

x is complex ext-real real rational set

x is complex ext-real real set

c

x is set

x is complex ext-real real integer rational set

x is complex ext-real real rational set

c

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

c

x is () set

x is complex set

a is complex set

c

x is () set

x is ext-real set

a is ext-real set

c

x is () () () set

x is complex ext-real real set

a is complex ext-real real set

c

x is () () () () set

x is complex ext-real real rational set

a is complex ext-real real rational set

c

x is () () () () () set

x is complex ext-real real integer rational set

a is complex ext-real real integer rational set

c

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

c

x is () set

x is complex set

x is set

c

x is () set

x is ext-real set

x is set

c

x is () () () set

x is complex ext-real real set

x is set

c

x is () () () () set

x is complex ext-real real rational set

x is set

c

x is () () () () () set

x is complex ext-real real integer rational set

x is set

c

x is () () () () () () set

x is complex ext-real non negative epsilon-transitive epsilon-connected ordinal natural real integer rational set

x is set

c

union c

x is set

x is set

c

union c

x is set

x is set

c

union c

x is set

x is set

c

union c

x is set

x is set

c

union c

x is set

x is set

c

union c

x is set

x is set

x is set

c

meet c

x is set

c

meet c

x is set

c

meet c

x is set

c

meet c

x is set

c

meet c

x is set

c

meet c

c

x is set

x is () set

x is complex set

c

x is set

x is () set

x is ext-real set

c

x is set

x is () () () set

x is complex ext-real real set

c

x is set

x is () () () () set

x is complex ext-real real rational set

c

x is set

x is () () () () () set

x is complex ext-real real integer rational set

c

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

c

x is set

c

x is () () () set

the complex ext-real real Element of c

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

c

c

c

x is complex set

x is complex set

x + x is complex set

c

x is complex set

c

c

x is complex set

c

c

x is complex set

c

c

x is complex set

c

c

x is complex set

c