:: XXREAL_3 semantic presentation

REAL is set

K27(REAL) 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

K9(0,REAL) is set
K7(+infty,-infty) is non zero set
K2(REAL,K7(+infty,-infty)) is non zero set

x is ext-real set
y is ext-real set

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

- 1 is non zero ext-real non positive negative complex real set
z + (- 1) is ext-real complex real set

x is ext-real set
y is ext-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
c11 is ext-real set
c12 is ext-real set
c13 is ext-real set
c14 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

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

z is complex set

z is complex set
(x,y) is ext-real set
z + z is complex set

y is complex set
(x) is ext-real set
- y is complex set

(x) is ext-real set

(x,y) is ext-real set

(x,y) is ext-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

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

z is complex set

z is complex set
(x,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 is ext-real set
(x,0) is ext-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,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,y) is ext-real set

(z,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

(+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,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),(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

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

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

(x,(0)) is ext-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,z) is ext-real complex real set

((z,z),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),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,z) is ext-real complex real set

((z,z),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,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),(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,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

(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,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),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

(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,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),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

(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,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,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,t) 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

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

(s) 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
(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

(u,w) is ext-real complex real set

(w,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,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

(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

(s,t) is ext-real complex real set

(z,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
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,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

(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,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),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,z) is ext-real complex real set

((s,z),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

(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

(x,z) is ext-real set
(x,(y,x)) is ext-real set

(x,z) is ext-real set
x is ext-real set

(y,z) is ext-real complex real set

min (y,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,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
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,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

(t,s) is ext-real complex real set

(z,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
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,s) is ext-real complex real set

(t,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

(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,s) is ext-real complex real set

(t,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

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

(t,s) is ext-real complex real set

(z,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
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,s) is ext-real complex real set

(t,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
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,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
(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

(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

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
c11 is ext-real set
c12 is ext-real set
c13 is ext-real set
c14 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

z is complex set

z is complex set
(x,y) is ext-real set
z * z is complex set

x is ext-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

y is complex set
(x) is ext-real set
y " is complex set

x is ext-real set
y is ext-real set
(y) is ext-real set
(x,(y)) is ext-real set

z is complex set

z is complex set
(x,y) is ext-real set
(y) is ext-real set

(x,(y)) is ext-real set
z / z is complex set
z " is complex set
z * (z ") is complex set

(x,s) is ext-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,z) is ext-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,z) is ext-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,z) is ext-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 set

x is ext-real non negative set
(x) is ext-real set

(y) 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 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,z) 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
(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,s) is ext-real set

(s,t) is ext-real set

(z,v) is ext-real set

(u,t) is ext-real set

(x) is ext-real set

(x,y) is ext-real set

(x,y) is ext-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
(-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

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

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,z) is ext-real complex real set

x is ext-real set
y is ext-real set
(x,y) is ext-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,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
z is ext-real set
(y,z) is ext-real set
(x,z) is ext-real set

(s,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 is ext-real set
(x,-infty) is ext-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,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
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

x is ext-real set
(1,x) is ext-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

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

(1,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
(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,z) is ext-real complex real set

((z,z),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,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,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

x is ext-real set
(2,x) is ext-real set
(x,x) is ext-real set

(2,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

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

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,s) is ext-real complex real set

(s,t) is ext-real complex real set

(z,t) is ext-real complex real set

(z,u) 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,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

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

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