:: ABSVALUE semantic presentation

REAL is set
NAT is V1() epsilon-transitive epsilon-connected ordinal M2(K6(REAL))
K6(REAL) is set
COMPLEX is set
0 is V1() epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural V11() real ext-real non positive non negative integer M3( REAL , NAT )
1 is V1() epsilon-transitive epsilon-connected ordinal natural V11() real ext-real positive non negative integer M3( REAL , NAT )
r is V11() real ext-real set
|.r.| is V11() real ext-real set
- r is V11() real ext-real set
s is V11() real ext-real set
a is V11() real ext-real set
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
- r is V11() real ext-real set
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
s is V11() real ext-real set
abs s is V11() real ext-real M2( REAL )
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
- r is V11() real ext-real set
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
- (abs r) is V11() real ext-real M2( REAL )
- r is V11() real ext-real set
- r is V11() real ext-real set
- 0 is V1() epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural V11() real ext-real non positive non negative integer M2( REAL )
r is V11() real ext-real set
- r is V11() real ext-real set
s is V11() real ext-real set
abs s is V11() real ext-real M2( REAL )
- s is V11() real ext-real set
- (- r) is V11() real ext-real set
- (- s) is V11() real ext-real set
- 0 is V1() epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural V11() real ext-real non positive non negative integer M2( REAL )
- 0 is V1() epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural V11() real ext-real non positive non negative integer M2( REAL )
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
1 / r is V11() real ext-real M2( COMPLEX )
abs (1 / r) is V11() real ext-real M2( REAL )
(abs r) * (abs (1 / r)) is V11() real ext-real M2( REAL )
r * (1 / r) is V11() real ext-real set
abs (r * (1 / r)) is V11() real ext-real M2( REAL )
abs 1 is V11() real ext-real M2( REAL )
r is V11() real ext-real set
1 / r is V11() real ext-real M2( COMPLEX )
abs (1 / r) is V11() real ext-real M2( REAL )
abs r is V11() real ext-real M2( REAL )
1 / (abs r) is V11() real ext-real M2( COMPLEX )
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
sqrt (abs r) is V11() real ext-real M2( REAL )
s is V11() real ext-real set
r * s is V11() real ext-real set
sqrt (r * s) is V11() real ext-real set
abs s is V11() real ext-real M2( REAL )
sqrt (abs s) is V11() real ext-real M2( REAL )
(sqrt (abs r)) * (sqrt (abs s)) is V11() real ext-real M2( REAL )
abs (r * s) is V11() real ext-real M2( REAL )
(abs r) * (abs s) is V11() real ext-real M2( REAL )
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
s is V11() real ext-real set
a is V11() real ext-real set
abs a is V11() real ext-real M2( REAL )
r + a is V11() real ext-real set
abs (r + a) is V11() real ext-real M2( REAL )
b is V11() real ext-real set
s + b is V11() real ext-real set
(abs r) + (abs a) is V11() real ext-real M2( REAL )
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
sqrt (abs r) is V11() real ext-real M2( REAL )
s is V11() real ext-real set
r / s is V11() real ext-real M2( COMPLEX )
sqrt (r / s) is V11() real ext-real set
abs s is V11() real ext-real M2( REAL )
sqrt (abs s) is V11() real ext-real M2( REAL )
(sqrt (abs r)) / (sqrt (abs s)) is V11() real ext-real M2( COMPLEX )
abs (r / s) is V11() real ext-real M2( REAL )
(abs r) / (abs s) is V11() real ext-real M2( COMPLEX )
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
s is V11() real ext-real set
r * s is V11() real ext-real set
r + s is V11() real ext-real set
abs (r + s) is V11() real ext-real M2( REAL )
abs s is V11() real ext-real M2( REAL )
(abs r) + (abs s) is V11() real ext-real M2( REAL )
0 + (abs s) is V11() real ext-real M2( REAL )
(abs r) + 0 is V11() real ext-real M2( REAL )
- r is V11() real ext-real set
- 1 is V11() real ext-real non positive integer M2( REAL )
(- 1) * r is V11() real ext-real M2( REAL )
1 * s is V11() real ext-real M2( REAL )
- (1 * s) is V11() real ext-real M2( REAL )
((- 1) * r) + (- (1 * s)) is V11() real ext-real M2( REAL )
- (r + s) is V11() real ext-real set
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
s is V11() real ext-real set
r + s is V11() real ext-real set
abs (r + s) is V11() real ext-real M2( REAL )
abs s is V11() real ext-real M2( REAL )
(abs r) + (abs s) is V11() real ext-real M2( REAL )
r * s is V11() real ext-real set
- r is V11() real ext-real set
(- r) + s is V11() real ext-real set
1 * r is V11() real ext-real M2( REAL )
- (1 * r) is V11() real ext-real M2( REAL )
- s is V11() real ext-real set
(- (1 * r)) + (- s) is V11() real ext-real M2( REAL )
1 * (r + s) is V11() real ext-real M2( REAL )
- (1 * (r + s)) is V11() real ext-real M2( REAL )
- s is V11() real ext-real set
r + (- s) is V11() real ext-real set
1 * r is V11() real ext-real M2( REAL )
- (1 * r) is V11() real ext-real M2( REAL )
(- (1 * r)) + (- s) is V11() real ext-real M2( REAL )
1 * (r + s) is V11() real ext-real M2( REAL )
- (1 * (r + s)) is V11() real ext-real M2( REAL )
- s is V11() real ext-real set
r + (- s) is V11() real ext-real set
- r is V11() real ext-real set
(- r) + s is V11() real ext-real set
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
1 + (abs r) is V11() real ext-real M2( REAL )
(abs r) / (1 + (abs r)) is V11() real ext-real M2( COMPLEX )
s is V11() real ext-real set
r + s is V11() real ext-real set
abs (r + s) is V11() real ext-real M2( REAL )
1 + (abs (r + s)) is V11() real ext-real M2( REAL )
(abs (r + s)) / (1 + (abs (r + s))) is V11() real ext-real M2( COMPLEX )
abs s is V11() real ext-real M2( REAL )
1 + (abs s) is V11() real ext-real M2( REAL )
(abs s) / (1 + (abs s)) is V11() real ext-real M2( COMPLEX )
((abs r) / (1 + (abs r))) + ((abs s) / (1 + (abs s))) is V11() real ext-real M2( COMPLEX )
a is V11() real ext-real set
1 + a is V11() real ext-real M2( REAL )
a / (1 + a) is V11() real ext-real M2( COMPLEX )
b is V11() real ext-real set
1 + b is V11() real ext-real M2( REAL )
b / (1 + b) is V11() real ext-real M2( COMPLEX )
a * 1 is V11() real ext-real M2( REAL )
a * b is V11() real ext-real set
(a * 1) + (a * b) is V11() real ext-real M2( REAL )
b + (a * b) is V11() real ext-real set
a * (1 + b) is V11() real ext-real M2( REAL )
(1 + a) " is V11() real ext-real M2( REAL )
(a * (1 + b)) * ((1 + a) ") is V11() real ext-real M2( REAL )
b * (1 + a) is V11() real ext-real M2( REAL )
(b * (1 + a)) * ((1 + a) ") is V11() real ext-real M2( REAL )
(1 + a) * ((1 + a) ") is V11() real ext-real M2( REAL )
b * ((1 + a) * ((1 + a) ")) is V11() real ext-real M2( REAL )
b * 1 is V11() real ext-real M2( REAL )
a * ((1 + a) ") is V11() real ext-real M2( REAL )
(a * ((1 + a) ")) * (1 + b) is V11() real ext-real M2( REAL )
(1 + b) " is V11() real ext-real M2( REAL )
((a * ((1 + a) ")) * (1 + b)) * ((1 + b) ") is V11() real ext-real M2( REAL )
b * ((1 + b) ") is V11() real ext-real M2( REAL )
(1 + b) * ((1 + b) ") is V11() real ext-real M2( REAL )
(a * ((1 + a) ")) * ((1 + b) * ((1 + b) ")) is V11() real ext-real M2( REAL )
(a * ((1 + a) ")) * 1 is V11() real ext-real M2( REAL )
0 + 0 is V1() epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural V11() real ext-real non positive non negative integer M2( REAL )
(1 + (abs r)) + (abs s) is V11() real ext-real M2( REAL )
(abs r) / ((1 + (abs r)) + (abs s)) is V11() real ext-real M2( COMPLEX )
0 + (abs r) is V11() real ext-real M2( REAL )
(abs r) * (abs s) is V11() real ext-real M2( REAL )
((abs r) * (abs s)) + (abs r) is V11() real ext-real M2( REAL )
(abs r) * 1 is V11() real ext-real M2( REAL )
(abs r) * (abs r) is V11() real ext-real M2( REAL )
((abs r) * 1) + ((abs r) * (abs r)) is V11() real ext-real M2( REAL )
(abs r) * (1 + (abs s)) is V11() real ext-real M2( REAL )
((abs r) * (1 + (abs s))) + ((abs r) * (abs r)) is V11() real ext-real M2( REAL )
(abs r) * (1 + (abs r)) is V11() real ext-real M2( REAL )
(1 + (abs r)) " is V11() real ext-real M2( REAL )
((abs r) * (1 + (abs r))) * ((1 + (abs r)) ") is V11() real ext-real M2( REAL )
(abs r) * ((1 + (abs r)) + (abs s)) is V11() real ext-real M2( REAL )
((abs r) * ((1 + (abs r)) + (abs s))) * ((1 + (abs r)) ") is V11() real ext-real M2( REAL )
(1 + (abs r)) * ((1 + (abs r)) ") is V11() real ext-real M2( REAL )
(abs r) * ((1 + (abs r)) * ((1 + (abs r)) ")) is V11() real ext-real M2( REAL )
((1 + (abs r)) + (abs s)) " is V11() real ext-real M2( REAL )
(abs r) * (((1 + (abs r)) + (abs s)) ") is V11() real ext-real M2( REAL )
(abs r) * ((1 + (abs r)) ") is V11() real ext-real M2( REAL )
((abs r) * ((1 + (abs r)) ")) * ((1 + (abs r)) + (abs s)) is V11() real ext-real M2( REAL )
(((abs r) * ((1 + (abs r)) ")) * ((1 + (abs r)) + (abs s))) * (((1 + (abs r)) + (abs s)) ") is V11() real ext-real M2( REAL )
((1 + (abs r)) + (abs s)) * (((1 + (abs r)) + (abs s)) ") is V11() real ext-real M2( REAL )
((abs r) * ((1 + (abs r)) ")) * (((1 + (abs r)) + (abs s)) * (((1 + (abs r)) + (abs s)) ")) is V11() real ext-real M2( REAL )
((abs r) * ((1 + (abs r)) ")) * 1 is V11() real ext-real M2( REAL )
(abs s) / ((1 + (abs r)) + (abs s)) is V11() real ext-real M2( COMPLEX )
0 + (abs s) is V11() real ext-real M2( REAL )
(abs r) * (abs s) is V11() real ext-real M2( REAL )
((abs r) * (abs s)) + (abs s) is V11() real ext-real M2( REAL )
(abs s) * 1 is V11() real ext-real M2( REAL )
(abs s) * (abs s) is V11() real ext-real M2( REAL )
((abs s) * 1) + ((abs s) * (abs s)) is V11() real ext-real M2( REAL )
(1 + (abs r)) * (abs s) is V11() real ext-real M2( REAL )
((1 + (abs r)) * (abs s)) + ((abs s) * (abs s)) is V11() real ext-real M2( REAL )
(abs s) * (1 + (abs s)) is V11() real ext-real M2( REAL )
(1 + (abs s)) " is V11() real ext-real M2( REAL )
((abs s) * (1 + (abs s))) * ((1 + (abs s)) ") is V11() real ext-real M2( REAL )
(abs s) * ((1 + (abs r)) + (abs s)) is V11() real ext-real M2( REAL )
((abs s) * ((1 + (abs r)) + (abs s))) * ((1 + (abs s)) ") is V11() real ext-real M2( REAL )
(1 + (abs s)) * ((1 + (abs s)) ") is V11() real ext-real M2( REAL )
(abs s) * ((1 + (abs s)) * ((1 + (abs s)) ")) is V11() real ext-real M2( REAL )
((1 + (abs r)) + (abs s)) " is V11() real ext-real M2( REAL )
(abs s) * (((1 + (abs r)) + (abs s)) ") is V11() real ext-real M2( REAL )
(abs s) * ((1 + (abs s)) ") is V11() real ext-real M2( REAL )
((abs s) * ((1 + (abs s)) ")) * ((1 + (abs r)) + (abs s)) is V11() real ext-real M2( REAL )
(((abs s) * ((1 + (abs s)) ")) * ((1 + (abs r)) + (abs s))) * (((1 + (abs r)) + (abs s)) ") is V11() real ext-real M2( REAL )
((1 + (abs r)) + (abs s)) * (((1 + (abs r)) + (abs s)) ") is V11() real ext-real M2( REAL )
((abs s) * ((1 + (abs s)) ")) * (((1 + (abs r)) + (abs s)) * (((1 + (abs r)) + (abs s)) ")) is V11() real ext-real M2( REAL )
((abs s) * ((1 + (abs s)) ")) * 1 is V11() real ext-real M2( REAL )
(abs r) + (abs s) is V11() real ext-real M2( REAL )
1 + ((abs r) + (abs s)) is V11() real ext-real M2( REAL )
((abs r) + (abs s)) / (1 + ((abs r) + (abs s))) is V11() real ext-real M2( COMPLEX )
((abs r) + (abs s)) / ((1 + (abs r)) + (abs s)) is V11() real ext-real M2( COMPLEX )
((abs r) / ((1 + (abs r)) + (abs s))) + ((abs s) / ((1 + (abs r)) + (abs s))) is V11() real ext-real M2( COMPLEX )
r is V11() real ext-real set
- 1 is V11() real ext-real non positive integer M2( REAL )
s is V11() real ext-real set
a is V11() real ext-real set
s is V11() real ext-real set
r is V11() real ext-real set
(r) is V11() real ext-real set
r is V11() real ext-real M2( REAL )
(r) is V11() real ext-real integer set
r is V11() real ext-real set
(r) is V11() real ext-real integer set
r is V11() real ext-real set
(r) is V11() real ext-real integer set
r is V11() real ext-real set
(r) is V11() real ext-real integer set
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
(r) is V11() real ext-real integer set
(abs r) * (r) is V11() real ext-real M2( REAL )
r * 1 is V11() real ext-real M2( REAL )
- r is V11() real ext-real set
(- r) * (- 1) is V11() real ext-real M2( REAL )
r is V11() real ext-real set
(r) is V11() real ext-real integer set
s is V11() real ext-real set
r * s is V11() real ext-real set
((r * s)) is V11() real ext-real integer set
(s) is V11() real ext-real integer set
(r) * (s) is V11() real ext-real integer set
0 * s is V11() real ext-real M2( REAL )
1 * (- 1) is V11() real ext-real non positive integer M2( REAL )
0 * s is V11() real ext-real M2( REAL )
(- 1) * (- 1) is V11() real ext-real non negative integer M2( REAL )
r * 0 is V11() real ext-real M2( REAL )
0 * s is V11() real ext-real M2( REAL )
r is V11() real ext-real set
(r) is V11() real ext-real integer set
s is V11() real ext-real set
r + s is V11() real ext-real set
((r + s)) is V11() real ext-real integer set
(s) is V11() real ext-real integer set
(r) + (s) is V11() real ext-real integer set
((r) + (s)) + 1 is V11() real ext-real integer M2( REAL )
(r) + 0 is V11() real ext-real integer M2( REAL )
((r) + 0) + 1 is V11() real ext-real integer M2( REAL )
(r) + 1 is V11() real ext-real integer M2( REAL )
(r) + 1 is V11() real ext-real integer M2( REAL )
((r) + 1) + 1 is V11() real ext-real integer M2( REAL )
(r) + 0 is V11() real ext-real integer M2( REAL )
1 + (- 1) is V11() real ext-real integer M2( REAL )
(1 + (- 1)) + 1 is V11() real ext-real integer M2( REAL )
0 + (s) is V11() real ext-real integer M2( REAL )
(0 + (s)) + 1 is V11() real ext-real integer M2( REAL )
(s) + 1 is V11() real ext-real integer M2( REAL )
r is V11() real ext-real set
(r) is V11() real ext-real integer set
1 / r is V11() real ext-real M2( COMPLEX )
((1 / r)) is V11() real ext-real integer set
(r) * ((1 / r)) is V11() real ext-real integer set
r * (1 / r) is V11() real ext-real set
((r * (1 / r))) is V11() real ext-real integer set
(1) is V11() real ext-real integer M2( REAL )
r is V11() real ext-real set
(r) is V11() real ext-real integer set
1 / (r) is V11() real ext-real M2( COMPLEX )
1 / r is V11() real ext-real M2( COMPLEX )
((1 / r)) is V11() real ext-real integer set
1 / 0 is V1() epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural V11() real ext-real non positive non negative integer M2( COMPLEX )
(r) * ((1 / r)) is V11() real ext-real integer set
((r) * ((1 / r))) * (1 / (r)) is V11() real ext-real set
1 * (1 / (r)) is V11() real ext-real M2( REAL )
(r) * (1 / (r)) is V11() real ext-real set
((1 / r)) * ((r) * (1 / (r))) is V11() real ext-real set
((1 / r)) * 1 is V11() real ext-real integer M2( REAL )
r is V11() real ext-real set
(r) is V11() real ext-real integer set
s is V11() real ext-real set
(s) is V11() real ext-real integer set
(r) + (s) is V11() real ext-real integer set
((r) + (s)) - 1 is V11() real ext-real integer M2( REAL )
r + s is V11() real ext-real set
((r + s)) is V11() real ext-real integer set
(r) + (- 1) is V11() real ext-real integer M2( REAL )
((r) + (- 1)) + 1 is V11() real ext-real integer M2( REAL )
(r) - 1 is V11() real ext-real integer M2( REAL )
(r) + 0 is V11() real ext-real integer M2( REAL )
((r) + 0) - 1 is V11() real ext-real integer M2( REAL )
(s) + (- 1) is V11() real ext-real integer M2( REAL )
((s) + (- 1)) + 1 is V11() real ext-real integer M2( REAL )
(s) - 1 is V11() real ext-real integer M2( REAL )
0 + (s) is V11() real ext-real integer M2( REAL )
(0 + (s)) - 1 is V11() real ext-real integer M2( REAL )
((r + s)) + (- 1) is V11() real ext-real integer M2( REAL )
(((r + s)) + (- 1)) - 1 is V11() real ext-real integer M2( REAL )
((((r + s)) + (- 1)) - 1) + 1 is V11() real ext-real integer M2( REAL )
(((r + s)) + (- 1)) + 1 is V11() real ext-real integer M2( REAL )
1 + (- 1) is V11() real ext-real integer M2( REAL )
(- 1) + 1 is V11() real ext-real integer M2( REAL )
r is V11() real ext-real set
(r) is V11() real ext-real integer set
1 / r is V11() real ext-real M2( COMPLEX )
((1 / r)) is V11() real ext-real integer set
1 / (r) is V11() real ext-real M2( COMPLEX )
1 / 1 is V11() real ext-real non negative M2( COMPLEX )
1 / (- 1) is V11() real ext-real non positive M2( COMPLEX )
r is V11() real ext-real set
(r) is V11() real ext-real integer set
s is V11() real ext-real set
r / s is V11() real ext-real M2( COMPLEX )
((r / s)) is V11() real ext-real integer set
(s) is V11() real ext-real integer set
(r) / (s) is V11() real ext-real M2( COMPLEX )
0 " is V1() epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural V11() real ext-real non positive non negative integer M2( REAL )
r * (0 ") is V11() real ext-real M2( REAL )
((r * (0 "))) is V11() real ext-real integer M2( REAL )
(r) * (0 ") is V11() real ext-real integer M2( REAL )
(r) / 0 is V11() real ext-real M2( COMPLEX )
(r / s) * 1 is V11() real ext-real M2( REAL )
1 / s is V11() real ext-real M2( COMPLEX )
s * (1 / s) is V11() real ext-real set
(r / s) * (s * (1 / s)) is V11() real ext-real set
(r / s) * s is V11() real ext-real set
((r / s) * s) * (1 / s) is V11() real ext-real set
r * (1 / s) is V11() real ext-real set
((1 / s)) is V11() real ext-real integer set
(r) * ((1 / s)) is V11() real ext-real integer set
(r) / 1 is V11() real ext-real M2( COMPLEX )
1 / (s) is V11() real ext-real M2( COMPLEX )
((r) / 1) * (1 / (s)) is V11() real ext-real M2( COMPLEX )
(r) * 1 is V11() real ext-real integer M2( REAL )
1 * (s) is V11() real ext-real integer M2( REAL )
((r) * 1) / (1 * (s)) is V11() real ext-real M2( COMPLEX )
(r) / (1 * (s)) is V11() real ext-real M2( COMPLEX )
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
r + (abs r) is V11() real ext-real M2( REAL )
(abs r) + (abs r) is V11() real ext-real M2( REAL )
(abs r) + r is V11() real ext-real M2( REAL )
- r is V11() real ext-real set
(- r) + r is V11() real ext-real set
r is V11() real ext-real set
- r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
(- r) + (abs r) is V11() real ext-real M2( REAL )
- (abs r) is V11() real ext-real M2( REAL )
(- (abs r)) + (abs r) is V11() real ext-real M2( REAL )
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
s is V11() real ext-real set
abs s is V11() real ext-real M2( REAL )
- s is V11() real ext-real set
- r is V11() real ext-real set
- r is V11() real ext-real set
- r is V11() real ext-real set
r is epsilon-transitive epsilon-connected ordinal natural V11() real ext-real integer set
abs r is V11() real ext-real M2( REAL )
r is V11() real ext-real set
abs r is V11() real ext-real M2( REAL )
- r is V11() real ext-real set