:: MEMBERED semantic presentation

REAL is non empty set
K18(REAL) is set

INT is non empty set
COMPLEX is non empty set
RAT is non empty set

ExtREAL is non empty set
+infty is non real set
-infty is non real set

[K62(),REAL] is set
{K62(),REAL} is set
{K62()} is set
{{K62(),REAL},{K62()}} 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

c1 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 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 () () set
x is set

{c1} is () () () set
x is set

{c1} is () () () () set
x is 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,x} is () () set
x is set

{c1,x} is () () () set
x is set

{c1,x} is () () () () set
x is 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,x,x} is () () set
a is set

{c1,x,x} is () () () set
a is set

{c1,x,x} is () () () () set
a is 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 ext-real 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 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

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

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

the non empty () () () () () () set is non empty () () () () () () set

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

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