:: XXREAL_3 semantic presentation

REAL is set
NAT is non zero epsilon-transitive epsilon-connected ordinal Element of K27(REAL)
K27(REAL) is set
ExtREAL is set
+infty is non zero ext-real positive non negative non real set
-infty is non zero ext-real non positive negative non real set
0 is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real Element of NAT
K9(0,REAL) is set
K7(+infty,-infty) is non zero set
K2(REAL,K7(+infty,-infty)) is non zero set
1 is non zero epsilon-transitive epsilon-connected ordinal natural ext-real positive non negative complex real Element of NAT
x is ext-real set
y is ext-real set
z is ext-real complex real Element of REAL
z is ext-real complex real Element of REAL
x is non zero ext-real positive non negative non real set
x is non zero ext-real non positive negative non real set
x is ext-real set
x is ext-real set
x is ext-real set
y is ext-real set
z is ext-real complex real set
z + 1 is ext-real complex real set
z + 0 is ext-real complex real set
z is ext-real complex real set
z - 1 is ext-real complex real set
- 1 is non zero ext-real non positive negative complex real set
z + (- 1) is ext-real complex real set
z - 0 is ext-real complex real set
- 0 is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
z + (- 0) is ext-real complex real set
x is ext-real set
y is ext-real set
z is ext-real complex real set
z is ext-real complex real set
z + z is ext-real complex real set
s is complex set
t is complex set
z is ext-real set
s + t is complex set
u is complex set
v is complex set
z is ext-real set
u + v is complex set
w is ext-real set
Ot is ext-real set
c₁₁ is ext-real set
c₁₂ is ext-real set
c₁₃ is ext-real set
c₁₄ is ext-real set
z is complex set
s is complex set
z is ext-real set
z + s is complex set
u is complex set
v is complex set
t is ext-real set
u + v is complex set
w is ext-real set
z is ext-real set
s is ext-real set
t is complex set
u is complex set
z is ext-real set
t + u is complex set
x is ext-real set
y is ext-real complex real set
- y is ext-real complex real set
z is complex set
y is ext-real set
- z is complex set
s is complex set
z is ext-real set
- s is complex set
t is ext-real set
u is ext-real set
v is ext-real set
w is ext-real set
z is complex set
y is ext-real set
- z is complex set
z is ext-real set
y is ext-real set
z is complex set
- z is complex set
z is complex set
- z is complex set
- (- z) is complex set
z is complex set
- z is complex set
z is complex set
- z is complex set
x is ext-real set
y is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
x is ext-real complex real set
z is complex set
y is ext-real complex real set
z is complex set
(x,y) is ext-real set
z + z is complex set
x + y is ext-real complex real set
x is ext-real complex real set
y is complex set
(x) is ext-real set
- y is complex set
- x is ext-real complex real set
x is ext-real complex real set
(x) is ext-real set
- x is ext-real complex real set
x is ext-real complex real set
y is ext-real complex real set
(x,y) is ext-real set
x + y is ext-real complex real set
(x,y) is ext-real set
(y) is ext-real complex real set
- y is ext-real complex real set
(x,(y)) is ext-real complex real set
x + (y) is ext-real complex real set
x is ext-real complex real set
y is ext-real non real set
(x,y) is ext-real set
z is set
x is non zero ext-real positive non negative non real set
y is non zero ext-real positive non negative non real set
(x,y) is ext-real set
x is non zero ext-real non positive negative non real set
y is non zero ext-real non positive negative non real set
(x,y) is ext-real set
x is non zero ext-real non positive negative non real set
y is non zero ext-real positive non negative non real set
(x,y) is ext-real set
x is ext-real complex real set
z is complex set
y is ext-real complex real set
z is complex set
(x,y) is ext-real complex real set
(y) is ext-real complex real set
- y is ext-real complex real set
(x,(y)) is ext-real complex real set
x + (y) is ext-real complex real set
z - z is complex set
- z is complex set
z + (- z) is complex set
x - y is ext-real complex real set
x + (- y) is ext-real complex real set
x is ext-real set
(x,0) is ext-real set
y is ext-real complex real set
(y,0) is ext-real complex real set
y + 0 is ext-real complex real set
(-infty) is ext-real set
(+infty) is ext-real set
(+infty,+infty) is ext-real non real set
(-infty,-infty) is ext-real non real set
x is ext-real set
(x) is ext-real set
(x,(x)) is ext-real set
y is ext-real complex real set
(y) is ext-real complex real set
- y is ext-real complex real set
z is ext-real complex real set
(y,z) is ext-real complex real set
y + z is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
z is ext-real complex real set
(z,y) is ext-real set
z is ext-real complex real set
(z,z) is ext-real complex real set
z + z is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
x is ext-real set
(x) is ext-real set
y is ext-real complex real set
(y) is ext-real complex real set
- y is ext-real complex real set
y is ext-real complex real set
(y) is ext-real complex real set
- y is ext-real complex real set
(+infty,-infty) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
((+infty,-infty)) is ext-real complex real set
- (+infty,-infty) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(+infty,+infty) is ext-real set
(+infty,(+infty)) is ext-real set
((-infty),+infty) is ext-real set
((-infty),(+infty)) is ext-real set
x is ext-real set
(x,+infty) is ext-real set
((x,+infty)) is ext-real set
(x) is ext-real set
((+infty),(x)) is ext-real set
x is ext-real set
(x,-infty) is ext-real set
((x,-infty)) is ext-real set
(x) is ext-real set
((-infty),(x)) is ext-real set
x is ext-real set
(x) is ext-real set
y is ext-real set
(x,y) is ext-real set
((x,y)) is ext-real set
(y) is ext-real set
((x),(y)) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real complex real set
z + z is ext-real complex real set
((z,z)) is ext-real complex real set
- (z,z) is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
((z),(z)) is ext-real complex real set
(z) + (z) is ext-real complex real set
x is ext-real set
(x) is ext-real set
y is ext-real set
(y) is ext-real set
z is complex set
- z is complex set
z is complex set
- z is complex set
((y)) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
x is ext-real complex real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(x,z) is ext-real set
z is complex set
s is complex set
z + s is complex set
t is complex set
u is complex set
t + u is complex set
x is ext-real complex real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
z is ext-real set
(x,z) is ext-real set
(z) is ext-real set
(x,(z)) is ext-real set
x is ext-real set
(+infty,x) is ext-real set
(x) is ext-real set
(+infty,(x)) is ext-real set
(x,+infty) is ext-real set
(x,(+infty)) is ext-real set
x is ext-real set
(-infty,x) is ext-real set
(x) is ext-real set
(-infty,(x)) is ext-real set
(x,-infty) is ext-real set
(x,(-infty)) is ext-real set
((x)) is ext-real set
x is ext-real set
(x,0) is ext-real set
(0) is ext-real complex real set
- 0 is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(x,(0)) is ext-real set
y is ext-real complex real set
(y,0) is ext-real complex real set
(y,(0)) is ext-real complex real set
y + (0) is ext-real complex real set
y - 0 is ext-real complex real set
y + (- 0) is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
(x) is ext-real set
(y,(x)) is ext-real set
((y,x),x) is ext-real set
(y,x) is ext-real set
((y,x),x) is ext-real set
((y,x),(x)) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real complex real set
z + z is ext-real complex real set
((z,z),z) is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
((z,z),(z)) is ext-real complex real set
(z,z) + (z) is ext-real complex real set
(z,z) - z is ext-real complex real set
(z,z) + (- z) is ext-real complex real set
(z,z) is ext-real complex real set
(z,(z)) is ext-real complex real set
z + (z) is ext-real complex real set
z - z is ext-real complex real set
z + (- z) is ext-real complex real set
((z,z),z) is ext-real complex real set
(z,z) + z is ext-real complex real set
x is ext-real set
(x) is ext-real set
((x)) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
((y,x),x) is ext-real set
(x) is ext-real set
((y,x),(x)) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real complex real set
z + z is ext-real complex real set
((z,z),z) is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
((z,z),(z)) is ext-real complex real set
(z,z) + (z) is ext-real complex real set
(z,z) - z is ext-real complex real set
(z,z) + (- z) is ext-real complex real set
x is ext-real set
(x,-infty) is ext-real set
((x,-infty)) is ext-real set
(x) is ext-real set
((-infty),(x)) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
((x,y)) is ext-real set
(y) is ext-real set
((y),x) is ext-real set
(x) is ext-real set
((y),(x)) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real complex real set
z + z is ext-real complex real set
((z,z)) is ext-real complex real set
- (z,z) is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
((z),(z)) is ext-real complex real set
(z) + (z) is ext-real complex real set
x is ext-real set
(x) is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
((x,y)) is ext-real set
((x),y) is ext-real set
(y,x) is ext-real set
(y,(x)) is ext-real set
((y)) is ext-real set
(((y)),x) is ext-real set
(((y)),(x)) is ext-real set
x is ext-real set
(x) is ext-real set
y is ext-real set
((x),y) is ext-real set
(((x),y)) is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
((x)) is ext-real set
(((x)),y) is ext-real set
(((x)),(y)) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
((y,x),x) is ext-real set
(x) is ext-real set
((y,x),(x)) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
((x,y),z) is ext-real set
(y,z) is ext-real set
(x,(y,z)) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
z + s is ext-real complex real set
t is ext-real complex real set
((z,s),t) is ext-real complex real set
(z,s) + t is ext-real complex real set
(s,t) is ext-real complex real set
s + t is ext-real complex real set
(z,(s,t)) is ext-real complex real set
z + (s,t) is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
((x,y),z) is ext-real set
(z) is ext-real set
((x,y),(z)) is ext-real set
(y,z) is ext-real set
(y,(z)) is ext-real set
(x,(y,z)) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
z is ext-real set
((x,y),z) is ext-real set
(z) is ext-real set
((x,y),(z)) is ext-real set
(y,z) is ext-real set
(x,(y,z)) is ext-real set
((y,z)) is ext-real set
(x,((y,z))) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(z,(s)) is ext-real complex real set
z + (s) is ext-real complex real set
z - s is ext-real complex real set
z + (- s) is ext-real complex real set
t is ext-real complex real set
((z,s),t) is ext-real complex real set
(t) is ext-real complex real set
- t is ext-real complex real set
((z,s),(t)) is ext-real complex real set
(z,s) + (t) is ext-real complex real set
(z,s) - t is ext-real complex real set
(z,s) + (- t) is ext-real complex real set
(s,t) is ext-real complex real set
s + t is ext-real complex real set
(z,(s,t)) is ext-real complex real set
((s,t)) is ext-real complex real set
- (s,t) is ext-real complex real set
(z,((s,t))) is ext-real complex real set
z + ((s,t)) is ext-real complex real set
z - (s,t) is ext-real complex real set
z + (- (s,t)) is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
z is ext-real set
((x,y),z) is ext-real set
(y,z) is ext-real set
(z) is ext-real set
(y,(z)) is ext-real set
(x,(y,z)) is ext-real set
((y,z)) is ext-real set
(x,((y,z))) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(z,(s)) is ext-real complex real set
z + (s) is ext-real complex real set
z - s is ext-real complex real set
z + (- s) is ext-real complex real set
t is ext-real complex real set
((z,s),t) is ext-real complex real set
(z,s) + t is ext-real complex real set
(s,t) is ext-real complex real set
(t) is ext-real complex real set
- t is ext-real complex real set
(s,(t)) is ext-real complex real set
s + (t) is ext-real complex real set
s - t is ext-real complex real set
s + (- t) is ext-real complex real set
(z,(s,t)) is ext-real complex real set
((s,t)) is ext-real complex real set
- (s,t) is ext-real complex real set
(z,((s,t))) is ext-real complex real set
z + ((s,t)) is ext-real complex real set
z - (s,t) is ext-real complex real set
z + (- (s,t)) is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(x,z) is ext-real set
((x,y),(x,z)) is ext-real set
((x,z)) is ext-real set
((x,y),((x,z))) is ext-real set
(y,z) is ext-real set
(z) is ext-real set
(y,(z)) is ext-real set
(x,-infty) is ext-real set
((x,-infty),(x,-infty)) is ext-real set
((x,-infty)) is ext-real set
((x,-infty),((x,-infty))) is ext-real set
(-infty,(x,-infty)) is ext-real set
(-infty,((x,-infty))) is ext-real set
(-infty,-infty) is ext-real set
(-infty,(-infty)) is ext-real set
(x,-infty) is ext-real set
(x,+infty) is ext-real set
((x,-infty),(x,+infty)) is ext-real set
((x,+infty)) is ext-real set
((x,-infty),((x,+infty))) is ext-real set
(-infty,(x,+infty)) is ext-real set
(-infty,((x,+infty))) is ext-real set
(-infty,+infty) is ext-real set
(-infty,(+infty)) is ext-real set
z is complex set
s is complex set
z + s is complex set
t is ext-real complex real set
u is ext-real complex real set
(t,u) is ext-real complex real set
t + u is ext-real complex real set
(x,-infty) is ext-real set
((x,-infty),(x,z)) is ext-real set
((x,-infty),((x,z))) is ext-real set
(-infty,(x,z)) is ext-real set
(-infty,((x,z))) is ext-real set
(-infty,z) is ext-real set
(-infty,(z)) is ext-real set
(x,-infty) is ext-real set
(x,+infty) is ext-real set
((x,-infty),(x,+infty)) is ext-real set
((x,+infty)) is ext-real set
((x,-infty),((x,+infty))) is ext-real set
((x,-infty),+infty) is ext-real set
((x,-infty),(+infty)) is ext-real set
(-infty,+infty) is ext-real set
(-infty,(+infty)) is ext-real set
(x,+infty) is ext-real set
((x,+infty),(x,+infty)) is ext-real set
((x,+infty)) is ext-real set
((x,+infty),((x,+infty))) is ext-real set
((x,+infty),+infty) is ext-real set
((x,+infty),(+infty)) is ext-real set
z is complex set
s is complex set
z + s is complex set
t is ext-real complex real set
u is ext-real complex real set
(t,u) is ext-real complex real set
t + u is ext-real complex real set
(x,+infty) is ext-real set
((x,y),(x,+infty)) is ext-real set
((x,+infty)) is ext-real set
((x,y),((x,+infty))) is ext-real set
((x,y),+infty) is ext-real set
((x,y),(+infty)) is ext-real set
((x,y),-infty) is ext-real set
(y,(+infty)) is ext-real set
z is ext-real complex real set
t is ext-real complex real set
(z,t) is ext-real complex real set
z + t is ext-real complex real set
s is ext-real complex real set
(t,s) is ext-real complex real set
t + s is ext-real complex real set
((z,t),(t,s)) is ext-real complex real set
((t,s)) is ext-real complex real set
- (t,s) is ext-real complex real set
((z,t),((t,s))) is ext-real complex real set
(z,t) + ((t,s)) is ext-real complex real set
(z,t) - (t,s) is ext-real complex real set
(z,t) + (- (t,s)) is ext-real complex real set
(z,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(z,(s)) is ext-real complex real set
z + (s) is ext-real complex real set
z - s is ext-real complex real set
z + (- s) is ext-real complex real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
z + s is ext-real complex real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
z + s is ext-real complex real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
(x) is ext-real set
(y,(x)) is ext-real set
z is ext-real set
(x,z) is ext-real set
(z) is ext-real set
(x,(z)) is ext-real set
((y,x),(x,z)) is ext-real set
(y,z) is ext-real set
(y,(z)) is ext-real set
(z,x) is ext-real set
(z,(x)) is ext-real set
((y,x),(z,x)) is ext-real set
((z,x)) is ext-real set
((y,x),((z,x))) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(x,z) is ext-real set
(y,z) is ext-real set
z is ext-real complex real set
t is ext-real complex real set
(z,t) is ext-real complex real set
z + t is ext-real complex real set
s is ext-real complex real set
(s,t) is ext-real complex real set
s + t is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(0,y) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(0,y) is ext-real set
x is ext-real non negative set
y is ext-real non negative set
(x,y) is ext-real set
x is ext-real non positive set
y is ext-real non positive set
(x,y) is ext-real set
x is non zero ext-real positive non negative set
y is ext-real non negative set
(x,y) is ext-real non negative set
(y,x) is non zero ext-real positive non negative set
x is non zero ext-real non positive negative set
y is ext-real non positive set
(x,y) is ext-real non positive set
(y,x) is non zero ext-real non positive negative set
x is ext-real non positive set
(x) is ext-real set
((x),(x)) is ext-real set
((x)) is ext-real set
((x),((x))) is ext-real set
x is ext-real non negative set
(x) is ext-real set
((x),(x)) is ext-real set
((x)) is ext-real set
((x),((x))) is ext-real set
x is non zero ext-real positive non negative set
(x) is ext-real non positive set
((x),(x)) is ext-real set
((x)) is ext-real non negative set
((x),((x))) is ext-real set
x is non zero ext-real non positive negative set
(x) is ext-real non negative set
((x),(x)) is ext-real set
((x)) is ext-real non positive set
((x),((x))) is ext-real set
x is ext-real non negative set
y is ext-real non positive set
(x,y) is ext-real set
(y) is ext-real non negative set
(x,(y)) is ext-real non negative set
(y,x) is ext-real set
(x) is ext-real non positive set
(y,(x)) is ext-real non positive set
x is non zero ext-real positive non negative set
y is ext-real non positive set
(x,y) is ext-real non negative set
(y) is ext-real non negative set
(x,(y)) is non zero ext-real positive non negative set
(y,x) is ext-real non positive set
(x) is non zero ext-real non positive negative set
(y,(x)) is non zero ext-real non positive negative set
x is non zero ext-real non positive negative set
y is ext-real non negative set
(x,y) is ext-real non positive set
(y) is ext-real non positive set
(x,(y)) is non zero ext-real non positive negative set
(y,x) is ext-real non negative set
(x) is non zero ext-real positive non negative set
(y,(x)) is non zero ext-real positive non negative set
x is ext-real set
(x) is ext-real set
y is ext-real set
(y) is ext-real set
z is complex set
- z is complex set
z is complex set
- z is complex set
t is ext-real complex real set
(t) is ext-real complex real set
- t is ext-real complex real set
s is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
u is ext-real complex real Element of REAL
v is ext-real complex real Element of REAL
x is ext-real set
y is ext-real set
z is ext-real set
(x,z) is ext-real set
(y,z) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(x,z) is ext-real set
z is ext-real set
(y,z) is ext-real set
(+infty,z) is ext-real set
(+infty,y) is ext-real set
(-infty,x) is ext-real set
(-infty,z) is ext-real set
s is ext-real Element of ExtREAL
t is ext-real Element of ExtREAL
u is ext-real complex real set
v is ext-real complex real set
w is ext-real complex real set
Ot is ext-real complex real set
(u,w) is ext-real complex real set
u + w is ext-real complex real set
(w,v) is ext-real complex real set
w + v is ext-real complex real set
(Ot,v) is ext-real complex real set
Ot + v is ext-real complex real set
x is ext-real set
y is ext-real set
z is ext-real set
(y,z) is ext-real set
(z) is ext-real set
(y,(z)) is ext-real set
z is ext-real set
(x,z) is ext-real set
(z) is ext-real set
(x,(z)) is ext-real set
x is ext-real set
(x) is ext-real set
y is ext-real set
(y) is ext-real set
((x)) is ext-real set
((y)) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
(y,0) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
(x) is ext-real set
(y,(x)) is ext-real set
(y) is ext-real set
((y),y) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(z,y) is ext-real set
(y) is ext-real set
(z,(y)) is ext-real set
z is ext-real complex real Element of REAL
s is ext-real complex real Element of REAL
(z,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(z,(s)) is ext-real complex real set
z + (s) is ext-real complex real set
z - s is ext-real complex real set
z + (- s) is ext-real complex real set
t is ext-real complex real Element of REAL
(s,t) is ext-real complex real set
s + t is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
z is ext-real set
(z,y) is ext-real set
((y)) is ext-real set
((y)) is ext-real set
z is ext-real complex real Element of REAL
s is ext-real complex real Element of REAL
t is ext-real complex real Element of REAL
(s,t) is ext-real complex real set
s + t is ext-real complex real set
(z,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(z,(s)) is ext-real complex real set
z + (s) is ext-real complex real set
z - s is ext-real complex real set
z + (- s) is ext-real complex real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
(y,x) is ext-real set
(x) is ext-real set
(y,(x)) is ext-real set
z is ext-real set
(z,x) is ext-real set
(z,x) is ext-real set
(z,(x)) is ext-real set
((z,x),x) is ext-real set
((z,x),(x)) is ext-real set
((z,x),x) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
((x,y),z) is ext-real set
(y,z) is ext-real set
(x,(y,z)) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
t is ext-real complex real set
u is ext-real complex real set
v is ext-real complex real set
(z,s) is ext-real complex real set
z + s is ext-real complex real set
((z,s),t) is ext-real complex real set
(z,s) + t is ext-real complex real set
(s,t) is ext-real complex real set
s + t is ext-real complex real set
(z,(s,t)) is ext-real complex real set
z + (s,t) is ext-real complex real set
(+infty,z) is ext-real set
(+infty,(y,z)) is ext-real set
(+infty,z) is ext-real set
(x,+infty) is ext-real set
(x,(+infty,z)) is ext-real set
(x,+infty) is ext-real set
(y,+infty) is ext-real set
(x,(y,+infty)) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
z is ext-real set
(z,x) is ext-real set
(x) is ext-real set
(z,(x)) is ext-real set
((z,x),x) is ext-real set
s is ext-real complex real set
z is ext-real complex real set
(s,z) is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
(s,(z)) is ext-real complex real set
s + (z) is ext-real complex real set
s - z is ext-real complex real set
s + (- z) is ext-real complex real set
((s,z),z) is ext-real complex real set
(s,z) + z is ext-real complex real set
(-infty,x) is ext-real set
(+infty,x) is ext-real set
((y,x),x) is ext-real set
((y,x),(x)) is ext-real set
s is ext-real complex real Element of REAL
z is ext-real complex real Element of REAL
(s,z) is ext-real complex real set
s + z is ext-real complex real set
((s,z),z) is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
((s,z),(z)) is ext-real complex real set
(s,z) + (z) is ext-real complex real set
(s,z) - z is ext-real complex real set
(s,z) + (- z) is ext-real complex real set
(-infty,x) is ext-real set
(-infty,(x)) is ext-real set
(+infty,x) is ext-real set
(+infty,(x)) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
(x) is ext-real set
(y,(x)) is ext-real set
((y,x),x) is ext-real set
(0,x) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
z is ext-real set
(z,x) is ext-real set
(x) is ext-real set
(z,(x)) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
z is ext-real set
((y,x),x) is ext-real set
(x) is ext-real set
((y,x),(x)) is ext-real set
(z,0) is ext-real set
(0) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
- 0 is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(z,(0)) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
(x) is ext-real set
(y,(x)) is ext-real set
z is ext-real complex real set
(x,z) is ext-real set
(x,(y,x)) is ext-real set
z is ext-real complex real set
(x,z) is ext-real set
x is ext-real set
y is ext-real complex real set
z is ext-real complex real set
(y,z) is ext-real complex real set
y + z is ext-real complex real set
min (y,z) is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real complex real set
z + z is ext-real complex real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
(x) is ext-real set
(y,(x)) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
(z,(z)) is ext-real complex real set
z + (z) is ext-real complex real set
z - z is ext-real complex real set
z + (- z) is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(z,y) is ext-real set
(y) is ext-real set
(z,(y)) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(z,(s)) is ext-real complex real set
z + (s) is ext-real complex real set
z - s is ext-real complex real set
z + (- s) is ext-real complex real set
t is ext-real complex real set
s is ext-real complex real set
(t,s) is ext-real complex real set
t + s is ext-real complex real set
z is ext-real complex real set
(z,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(z,(s)) is ext-real complex real set
z + (s) is ext-real complex real set
z - s is ext-real complex real set
z + (- s) is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
z is ext-real set
(z,y) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
z + s is ext-real complex real set
t is ext-real complex real set
s is ext-real complex real set
(t,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(t,(s)) is ext-real complex real set
t + (s) is ext-real complex real set
t - s is ext-real complex real set
t + (- s) is ext-real complex real set
z is ext-real complex real set
(z,s) is ext-real complex real set
z + s is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
z is ext-real set
(z,y) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
z + s is ext-real complex real set
t is ext-real complex real set
s is ext-real complex real set
(t,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(t,(s)) is ext-real complex real set
t + (s) is ext-real complex real set
t - s is ext-real complex real set
t + (- s) is ext-real complex real set
z is ext-real complex real set
(z,s) is ext-real complex real set
z + s is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(z,y) is ext-real set
(y) is ext-real set
(z,(y)) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(z,(s)) is ext-real complex real set
z + (s) is ext-real complex real set
z - s is ext-real complex real set
z + (- s) is ext-real complex real set
t is ext-real complex real set
s is ext-real complex real set
(t,s) is ext-real complex real set
t + s is ext-real complex real set
z is ext-real complex real set
(z,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(z,(s)) is ext-real complex real set
z + (s) is ext-real complex real set
z - s is ext-real complex real set
z + (- s) is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(z,y) is ext-real set
(y) is ext-real set
(z,(y)) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
z + s is ext-real complex real set
t is ext-real complex real set
(t,s) is ext-real complex real set
(s) is ext-real complex real set
- s is ext-real complex real set
(t,(s)) is ext-real complex real set
t + (s) is ext-real complex real set
t - s is ext-real complex real set
t + (- s) is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(z,y) is ext-real set
(y) is ext-real set
(z,(y)) is ext-real set
((z,y),y) is ext-real set
((y),y) is ext-real set
(z,((y),y)) is ext-real set
(z,0) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
z is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(z,y) is ext-real set
x is ext-real set
(x) is ext-real set
y is ext-real set
(y) is ext-real set
((y)) is ext-real set
((x)) is ext-real set
x is ext-real set
y is ext-real set
(y,1) is ext-real set
(y,1) is ext-real set
(x,y) is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real complex real set
(z) is ext-real complex real set
- z is ext-real complex real set
(z,(z)) is ext-real complex real set
z + (z) is ext-real complex real set
z - z is ext-real complex real set
z + (- z) is ext-real complex real set
(y,(z,z)) is ext-real set
(y,x) is ext-real set
((y,x),y) is ext-real set
((y,x),(y)) is ext-real set
(y,y) is ext-real set
(y,(y)) is ext-real set
(x,(y,y)) is ext-real set
(x,0) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(y,z) is ext-real set
(x,z) is ext-real set
(z,z) is ext-real set
(z) is ext-real set
(z,(z)) is ext-real set
(x,(z,z)) is ext-real set
((y,z),z) is ext-real set
((y,z),(z)) is ext-real set
(x,0) is ext-real set
(y,(z,z)) is ext-real set
(y,0) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(y,z) is ext-real set
(z) is ext-real set
(y,(z)) is ext-real set
(x,z) is ext-real set
(x,(z)) is ext-real set
(z,z) is ext-real set
(z,(z)) is ext-real set
(x,(z,z)) is ext-real set
((z,z)) is ext-real set
(x,((z,z))) is ext-real set
((y,z),z) is ext-real set
(x,0) is ext-real set
(0) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
- 0 is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(x,(0)) is ext-real set
(y,(z,z)) is ext-real set
(y,((z,z))) is ext-real set
(y,0) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(x,z) is ext-real set
z is ext-real set
(y,z) is ext-real set
(y,z) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
z is ext-real set
x is ext-real set
y is ext-real set
z is ext-real complex real set
z is ext-real complex real set
z * z is ext-real complex real set
s is complex set
t is complex set
z is ext-real set
s * t is complex set
u is complex set
v is complex set
z is ext-real set
u * v is complex set
w is ext-real set
Ot is ext-real set
c₁₁ is ext-real set
c₁₂ is ext-real set
c₁₃ is ext-real set
c₁₄ is ext-real set
z is complex set
s is complex set
z is ext-real set
z * s is complex set
u is complex set
v is complex set
t is ext-real set
u * v is complex set
w is ext-real set
z is ext-real set
s is ext-real set
t is complex set
u is complex set
z is ext-real set
t * u is complex set
x is ext-real complex real set
z is complex set
y is ext-real complex real set
z is complex set
(x,y) is ext-real set
z * z is complex set
x * y is ext-real complex real set
x is ext-real set
y is ext-real complex real set
y " is ext-real complex real set
z is complex set
y is ext-real set
z " is complex set
s is complex set
z is ext-real set
s " is complex set
t is ext-real set
u is ext-real set
x is ext-real complex real set
y is complex set
(x) is ext-real set
y " is complex set
x " is ext-real complex real set
x is ext-real set
y is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set
x is ext-real complex real set
z is complex set
y is ext-real complex real set
z is complex set
(x,y) is ext-real set
(y) is ext-real set
y " is ext-real complex real set
(x,(y)) is ext-real set
z / z is complex set
z " is complex set
z * (z ") is complex set
s is ext-real complex real set
(x,s) is ext-real set
x * s is ext-real complex real set
x / y is ext-real complex real set
x * (y ") is ext-real complex real set
x is ext-real set
(x,0) is ext-real set
y is complex set
z is complex set
y * z is complex set
x is non zero ext-real positive non negative set
y is non zero ext-real non positive negative set
(x,y) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real set
z * z is ext-real complex real set
x is non zero ext-real non positive negative set
y is non zero ext-real non positive negative set
(x,y) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real set
z * z is ext-real complex real set
x is non zero ext-real positive non negative set
y is non zero ext-real positive non negative set
(x,y) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real set
z * z is ext-real complex real set
x is ext-real non positive set
y is ext-real non negative set
(x,y) is ext-real set
x is ext-real non positive set
y is ext-real non positive set
(x,y) is ext-real set
x is ext-real non negative set
y is ext-real non negative set
(x,y) is ext-real set
x is ext-real non positive set
(x) is ext-real set
y is ext-real complex real set
(y) is ext-real set
y " is ext-real complex real set
x is ext-real non negative set
(x) is ext-real set
y is ext-real complex real set
(y) is ext-real set
y " is ext-real complex real set
x is ext-real non negative set
y is ext-real non positive set
(x,y) is ext-real set
(y) is ext-real non positive set
(x,(y)) is ext-real non positive set
(y,x) is ext-real set
(x) is ext-real non negative set
(y,(x)) is ext-real non positive set
x is ext-real non negative set
y is ext-real non negative set
(x,y) is ext-real set
(y) is ext-real non negative set
(x,(y)) is ext-real non negative set
x is ext-real non positive set
y is ext-real non positive set
(x,y) is ext-real set
(y) is ext-real non positive set
(x,(y)) is ext-real non negative set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
x is non zero ext-real set
y is non zero ext-real set
(x,y) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real set
z * z is ext-real complex real set
x is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(y,z) is ext-real set
(x,(y,z)) is ext-real set
((x,y),z) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
z is ext-real set
(x,z) is ext-real set
(y,(x,z)) is ext-real set
((y,x),z) is ext-real set
x is ext-real set
y is ext-real set
(y,x) is ext-real set
z is ext-real set
(x,z) is ext-real set
(y,(x,z)) is ext-real set
((y,x),z) is ext-real set
(-infty,z) is ext-real set
(y,(-infty,z)) is ext-real set
(y,-infty) is ext-real set
((y,-infty),z) is ext-real set
(-infty,z) is ext-real set
(y,(-infty,z)) is ext-real set
(y,+infty) is ext-real set
(y,-infty) is ext-real set
((y,-infty),z) is ext-real set
(-infty,z) is ext-real set
(y,(-infty,z)) is ext-real set
(y,-infty) is ext-real set
(+infty,z) is ext-real set
((y,-infty),z) is ext-real set
(-infty,z) is ext-real set
(y,(-infty,z)) is ext-real set
(y,+infty) is ext-real set
(+infty,z) is ext-real set
(y,-infty) is ext-real set
((y,-infty),z) is ext-real set
(+infty,z) is ext-real set
(y,(+infty,z)) is ext-real set
(y,+infty) is ext-real set
((y,+infty),z) is ext-real set
(+infty,z) is ext-real set
(y,(+infty,z)) is ext-real set
(y,-infty) is ext-real set
(y,+infty) is ext-real set
((y,+infty),z) is ext-real set
(+infty,z) is ext-real set
(y,(+infty,z)) is ext-real set
(y,+infty) is ext-real set
(-infty,z) is ext-real set
((y,+infty),z) is ext-real set
(+infty,z) is ext-real set
(y,(+infty,z)) is ext-real set
(y,-infty) is ext-real set
(-infty,z) is ext-real set
(y,+infty) is ext-real set
((y,+infty),z) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(y,z) is ext-real set
(x,(y,z)) is ext-real set
((x,y),z) is ext-real set
(-infty,(y,z)) is ext-real set
(-infty,z) is ext-real set
(-infty,y) is ext-real set
((-infty,y),z) is ext-real set
(-infty,(y,z)) is ext-real set
(-infty,z) is ext-real set
(-infty,y) is ext-real set
((-infty,y),z) is ext-real set
(-infty,(y,z)) is ext-real set
(+infty,z) is ext-real set
(-infty,y) is ext-real set
((-infty,y),z) is ext-real set
(-infty,(y,z)) is ext-real set
(+infty,z) is ext-real set
(-infty,y) is ext-real set
((-infty,y),z) is ext-real set
(+infty,(y,z)) is ext-real set
(+infty,z) is ext-real set
(+infty,y) is ext-real set
((+infty,y),z) is ext-real set
(+infty,(y,z)) is ext-real set
(+infty,z) is ext-real set
(+infty,y) is ext-real set
((+infty,y),z) is ext-real set
(+infty,(y,z)) is ext-real set
(-infty,z) is ext-real set
(+infty,y) is ext-real set
((+infty,y),z) is ext-real set
(+infty,(y,z)) is ext-real set
(-infty,z) is ext-real set
(+infty,y) is ext-real set
((+infty,y),z) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(y,z) is ext-real set
(x,(y,z)) is ext-real set
((x,y),z) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real set
z * s is ext-real complex real set
t is ext-real complex real set
(s,t) is ext-real set
s * t is ext-real complex real set
v is ext-real complex real set
(z,v) is ext-real set
z * v is ext-real complex real set
u is ext-real complex real set
(u,t) is ext-real set
u * t is ext-real complex real set
x is ext-real complex real set
(x) is ext-real set
x " is ext-real complex real set
x is ext-real complex real set
y is ext-real complex real set
(x,y) is ext-real set
x * y is ext-real complex real set
(x,y) is ext-real set
(y) is ext-real complex real set
y " is ext-real complex real set
(x,(y)) is ext-real complex real set
x * (y) is ext-real complex real set
x / y is ext-real complex real set
x * (y ") is ext-real complex real set
(-infty) is ext-real non positive set
(+infty) is ext-real non negative set
x is ext-real set
(x) is ext-real set
y is ext-real set
(x,y) is ext-real set
((x,y)) is ext-real set
(y) is ext-real set
((x),(y)) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
s is complex set
s " is complex set
t is complex set
t " is complex set
(z,z) is ext-real complex real set
z * z is ext-real complex real set
((z,z)) is ext-real complex real set
(z,z) " is ext-real complex real set
s is complex set
t is complex set
s * t is complex set
u is complex set
u " is complex set
v is complex set
v " is complex set
(0) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
0 " is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(0) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
0 " is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(0) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
0 " is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(0) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
0 " is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
x is ext-real complex real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(x,z) is ext-real set
z is complex set
s is complex set
z * s is complex set
t is complex set
u is complex set
t * u is complex set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real complex real set
z * z is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real complex real set
z is ext-real complex real set
(z,z) is ext-real complex real set
z * z is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(x,z) is ext-real set
(y,z) is ext-real set
(z,y) is ext-real set
z is ext-real complex real Element of REAL
t is ext-real complex real Element of REAL
(z,t) is ext-real complex real set
z * t is ext-real complex real set
s is ext-real complex real Element of REAL
(s,t) is ext-real complex real set
s * t is ext-real complex real set
u is ext-real complex real Element of REAL
v is ext-real complex real Element of REAL
x is ext-real set
y is ext-real set
z is ext-real set
(y,z) is ext-real set
(x,z) is ext-real set
s is ext-real complex real set
t is ext-real complex real set
(s,t) is ext-real complex real set
s * t is ext-real complex real set
z is ext-real complex real set
(z,t) is ext-real complex real set
z * t is ext-real complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
x is ext-real set
(x,+infty) is ext-real set
(x,(+infty)) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
x is ext-real set
(x,-infty) is ext-real set
(x,(-infty)) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
x is ext-real set
(x,x) is ext-real set
(x) is ext-real set
(x,(x)) is ext-real set
y is ext-real complex real set
(y,y) is ext-real complex real set
(y) is ext-real complex real set
y " is ext-real complex real set
(y,(y)) is ext-real complex real set
y * (y) is ext-real complex real set
y / y is ext-real complex real set
y * (y ") is ext-real complex real set
x is ext-real set
y is ext-real set
z is ext-real set
(x,z) is ext-real set
(z) is ext-real set
(x,(z)) is ext-real set
(y,z) is ext-real set
(y,(z)) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(y,z) is ext-real set
(z) is ext-real set
(y,(z)) is ext-real set
(x,z) is ext-real set
(x,(z)) is ext-real set
z is ext-real complex real set
(z) is ext-real complex real set
z " is ext-real complex real set
x is ext-real set
(1,x) is ext-real set
z is ext-real complex real set
y is ext-real complex real set
(z,y) is ext-real complex real set
z * y is ext-real complex real set
x is ext-real set
(x) is ext-real set
y is ext-real complex real set
(y) is ext-real complex real set
y " is ext-real complex real set
((y)) is ext-real complex real set
(y) " is ext-real complex real set
x is ext-real set
(+infty,x) is ext-real set
(x) is ext-real set
(+infty,(x)) is ext-real set
x is ext-real set
(-infty,x) is ext-real set
(x) is ext-real set
(-infty,(x)) is ext-real set
x is ext-real set
(+infty,x) is ext-real set
(x) is ext-real set
(+infty,(x)) is ext-real set
x is ext-real set
(-infty,x) is ext-real set
(x) is ext-real set
(-infty,(x)) is ext-real set
x is ext-real set
(1,x) is ext-real set
(x) is ext-real set
(1,(x)) is ext-real set
(x,(1,x)) is ext-real set
((1,x),x) is ext-real set
y is ext-real complex real set
(1,y) is ext-real complex real set
(y) is ext-real complex real set
y " is ext-real complex real set
(1,(y)) is ext-real complex real set
1 * (y) is ext-real complex real set
1 / y is ext-real complex real set
1 * (y ") is ext-real complex real set
(y,(1,y)) is ext-real complex real set
y * (1,y) is ext-real complex real set
x is ext-real set
(x,x) is ext-real set
(x) is ext-real set
(x,(x)) is ext-real set
y is ext-real set
(y,x) is ext-real set
((y,x),x) is ext-real set
((y,x),(x)) is ext-real set
(y,(x,x)) is ext-real set
z is ext-real complex real set
z is ext-real complex real Element of REAL
(z,z) is ext-real complex real set
z * z is ext-real complex real set
((z,z),z) is ext-real complex real set
(z) is ext-real complex real set
z " is ext-real complex real set
((z,z),(z)) is ext-real complex real set
(z,z) * (z) is ext-real complex real set
(z,z) / z is ext-real complex real set
(z,z) * (z ") is ext-real complex real set
x is ext-real set
(+infty,x) is ext-real set
(-infty,x) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(1) is non zero ext-real non positive negative complex real set
- 1 is non zero ext-real non positive negative complex real set
x is ext-real set
((1),x) is ext-real set
(x) is ext-real set
z is ext-real complex real set
y is ext-real complex real set
(z,y) is ext-real complex real set
z * y is ext-real complex real set
(y) is ext-real complex real set
- y is ext-real complex real set
x is ext-real set
(x) is ext-real set
y is ext-real set
(x,y) is ext-real set
((x,y)) is ext-real set
((x),y) is ext-real set
((1),(x,y)) is ext-real set
((1),x) is ext-real set
(((1),x),y) is ext-real set
x is ext-real set
y is ext-real set
(y) is ext-real set
(x,y) is ext-real set
z is ext-real set
(z,(x,y)) is ext-real set
(z,x) is ext-real set
(z,y) is ext-real set
((z,x),(z,y)) is ext-real set
(z,0) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
((z,x),(z,x)) is ext-real set
((z,x)) is ext-real set
((z,x),((z,x))) is ext-real set
(x) is ext-real set
(z,(x)) is ext-real set
((z,x),(z,(x))) is ext-real set
2 is non zero epsilon-transitive epsilon-connected ordinal natural ext-real positive non negative complex real Element of NAT
x is ext-real set
(2,x) is ext-real set
(x,x) is ext-real set
y is ext-real complex real set
(2,y) is ext-real complex real set
2 * y is ext-real complex real set
(y,y) is ext-real complex real set
y + y is ext-real complex real set
x is ext-real set
y is ext-real set
(y,y) is ext-real set
(x,(y,y)) is ext-real set
(x,y) is ext-real set
((x,y),(x,y)) is ext-real set
(2,y) is ext-real set
(x,(2,y)) is ext-real set
(2,(x,y)) is ext-real set
x is ext-real set
(x,0) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
y is ext-real set
(0,y) is ext-real set
(x,(0,y)) is ext-real set
(x,y) is ext-real set
((x,0),(x,y)) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
(0,(x,y)) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(0,x) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(0,y) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
((0,x),(0,y)) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(0,x) + (0,y) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(y,z) is ext-real set
(x,(y,z)) is ext-real set
(x,z) is ext-real set
((x,y),(x,z)) is ext-real set
z is ext-real complex real set
s is ext-real complex real set
(z,s) is ext-real complex real set
z * s is ext-real complex real set
t is ext-real complex real set
(s,t) is ext-real complex real set
s + t is ext-real complex real set
(z,t) is ext-real complex real set
z * t is ext-real complex real set
u is ext-real complex real set
(z,u) is ext-real complex real set
z * u is ext-real complex real set
v is ext-real complex real set
w is ext-real complex real set
(v,w) is ext-real complex real set
v + w is ext-real complex real set
((x,y),-infty) is ext-real set
((x,y),+infty) is ext-real set
((x,y),+infty) is ext-real set
((x,y),-infty) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(y,z) is ext-real set
(x,(y,z)) is ext-real set
(x,z) is ext-real set
((x,y),(x,z)) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(y,z) is ext-real set
(x,(y,z)) is ext-real set
(x,z) is ext-real set
((x,y),(x,z)) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(z,(x,y)) is ext-real set
(z,x) is ext-real set
(z,y) is ext-real set
((z,x),(z,y)) is ext-real set
(-infty,(z,y)) is ext-real set
(+infty,(z,y)) is ext-real set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(z,(x,y)) is ext-real set
(z,x) is ext-real set
(z,y) is ext-real set
((z,x),(z,y)) is ext-real set
((z,(x,y))) is ext-real set
(((z,(x,y)))) is ext-real set
((x,y)) is ext-real set
(z,((x,y))) is ext-real set
((z,((x,y)))) is ext-real set
(x) is ext-real set
(y) is ext-real set
((x),(y)) is ext-real set
(z,((x),(y))) is ext-real set
((z,((x),(y)))) is ext-real set
(z,(x)) is ext-real set
(z,(y)) is ext-real set
((z,(x)),(z,(y))) is ext-real set
(((z,(x)),(z,(y)))) is ext-real set
((z,x)) is ext-real set
(((z,x)),(z,(y))) is ext-real set
((((z,x)),(z,(y)))) is ext-real set
((z,y)) is ext-real set
(((z,x)),((z,y))) is ext-real set
((((z,x)),((z,y)))) is ext-real set
(((z,x),(z,y))) is ext-real set
((((z,x),(z,y)))) is ext-real set
x is ext-real set
y is ext-real set
(0,y) is ext-real set
(x,(0,y)) is ext-real set
(x,0) is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural ext-real non positive non negative complex real set
(x,y) is ext-real set
((x,0),(x,y)) is ext-real set
x is ext-real set
(x) is ext-real set
((x)) is ext-real set
(x) is ext-real set
((x)) is ext-real set
y is ext-real complex real set
(y) is ext-real complex real set
- y is ext-real complex real set
z is complex set
z " is complex set
- z is complex set
(- z) " is complex set
- (z ") is complex set
z is complex set
z " is complex set
x is ext-real set
y is ext-real set
(x,y) is ext-real set
z is ext-real set
(y,z) is ext-real set
(z) is ext-real set
(y,(z)) is ext-real set
(x,(y,z)) is ext-real set
(x,z) is ext-real set
((x,y),(x,z)) is ext-real set
((x,z)) is ext-real set
((x,y),((x,z))) is ext-real set
(x,(z)) is ext-real set
((x,y),(x,(z))) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(y,z) is ext-real set
(x,z) is ext-real set
(z) is ext-real set
(x,(z)) is ext-real set
(y,(z)) is ext-real set
((x,z)) is ext-real set
((y,z)) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(x,z) is ext-real set
(y,z) is ext-real set
(z) is ext-real set
(y,(z)) is ext-real set
(x,(z)) is ext-real set
((x,z)) is ext-real set
((y,z)) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(y,z) is ext-real set
(z) is ext-real set
(y,(z)) is ext-real set
(x,z) is ext-real set
(x,(z)) is ext-real set
x is ext-real set
y is ext-real set
z is ext-real set
(x,z) is ext-real set
(z) is ext-real set
(x,(z)) is ext-real set
(y,z) is ext-real set
(y,(z)) is ext-real set
z is ext-real complex real set
(z) is ext-real complex real set
z " is ext-real complex real set
x is ext-real set
(x,2) is ext-real set
(2) is ext-real non negative complex real set
2 " is non zero ext-real positive non negative complex real set
(x,(2)) is ext-real set
((x,2),(x,2)) is ext-real set
(x,x) is ext-real set
((x,x),2) is ext-real set
((x,x),(2)) is ext-real set
(2,x) is ext-real set
((2,x),2) is ext-real set
((2,x),(2)) is ext-real set
(2,2) is ext-real non negative complex real set
(2,(2)) is ext-real non negative complex real set
2 * (2) is ext-real non negative complex real set
2 / 2 is non zero ext-real positive non negative complex real set
2 * (2 ") is non zero ext-real positive non negative complex real set
(x,(2,2)) is ext-real set