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

c

c

c

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

c

c

c

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