:: XXREAL_0 semantic presentation

K32() is set
bool K32() is set
bool (bool K32()) is set
DEDEKIND_CUTS is Element of bool (bool K32())
REAL+ is set
REAL is non empty set

is non empty set

is set
is non empty set
is non empty set
is non empty set
() \ is Element of bool ()
bool () is set

{K38()} is non empty set
is set
ExtREAL is non empty set

is set
is non empty set
is non empty set
is non empty set
is non empty set
REAL \/ is non empty set
a is Element of ExtREAL
a is () set
() is set
() is set
{(),()} is non empty set
REAL \/ {(),()} is non empty set
a is set
b is set
a is () set
b is () set

a is Element of REAL+
b is Element of REAL+
c9 is Element of REAL+
[0,c9] is set
{0,c9} is non empty set
{{0,c9},} is non empty set
a9 is Element of REAL+
[0,a9] is set
{0,a9} is non empty set
{{0,a9},} is non empty set
a is () set

[0,0] is set
{0,0} is non empty set
is non empty set
is non empty set
() \ is Element of bool ()
bool () is set
b is Element of REAL+
b is set
c9 is set
[b,c9] is set
{b,c9} is non empty set
{b} is non empty set
{{b,c9},{b}} is non empty set
a9 is Element of REAL+
[0,a9] is set
{0,a9} is non empty set
{{0,a9},} is non empty set
b is Element of REAL+
c9 is Element of REAL+
a9 is Element of REAL+
[0,a9] is set
{0,a9} is non empty set
{{0,a9},} is non empty set
b9 is Element of REAL+
[0,b9] is set
{0,b9} is non empty set
{{0,b9},} is non empty set
a is () set
b is () set

[0,0] is set
{0,0} is non empty set
is non empty set
is non empty set
() \ is Element of bool ()
bool () is set
a9 is Element of REAL+
c9 is Element of REAL+
b9 is Element of REAL+
x9 is Element of REAL+
c9 is set
a9 is set
[c9,a9] is set
{c9,a9} is non empty set
{c9} is non empty set
{{c9,a9},{c9}} is non empty set
b9 is set
x9 is set
[b9,x9] is set
{b9,x9} is non empty set
{b9} is non empty set
{{b9,x9},{b9}} is non empty set
y9 is Element of REAL+
x9 is Element of REAL+
y9 is Element of REAL+
[0,y9] is set
{0,y9} is non empty set
{{0,y9},} is non empty set
x9 is Element of REAL+
[0,x9] is set
{0,x9} is non empty set
{{0,x9},} is non empty set
c9 is Element of REAL+
[0,c9] is set
{0,c9} is non empty set
{{0,c9},} is non empty set
a9 is Element of REAL+
[0,a9] is set
{0,a9} is non empty set
{{0,a9},} is non empty set
c9 is Element of REAL+
a9 is Element of REAL+
b9 is Element of REAL+
[0,b9] is set
{0,b9} is non empty set
{{0,b9},} is non empty set
x9 is Element of REAL+
[0,x9] is set
{0,x9} is non empty set
{{0,x9},} is non empty set
[0,0] is set
{0,0} is non empty set
is non empty set
is non empty set
is non empty set

a is () set
b is () set
a is Element of REAL+
b is Element of REAL+
c9 is Element of REAL+
a9 is Element of REAL+
a is Element of REAL+
[0,a] is set
{0,a} is non empty set
{{0,a},} is non empty set
b is Element of REAL+
[0,b] is set
{0,b} is non empty set
{{0,b},} is non empty set
c9 is Element of REAL+
[0,c9] is set
{0,c9} is non empty set
{{0,c9},} is non empty set
a9 is Element of REAL+
[0,a9] is set
{0,a9} is non empty set
{{0,a9},} is non empty set
a is () set
a is () set
a is () set
b is () set
a is () set
b is Element of REAL+
c9 is Element of REAL+
a9 is Element of REAL+
b9 is Element of REAL+
b is Element of REAL+
[0,b] is set
{0,b} is non empty set
{{0,b},} is non empty set
c9 is Element of REAL+
[0,c9] is set
{0,c9} is non empty set
{{0,c9},} is non empty set
a9 is Element of REAL+
[0,a9] is set
{0,a9} is non empty set
{{0,a9},} is non empty set
b9 is Element of REAL+
[0,b9] is set
{0,b9} is non empty set
{{0,b9},} is non empty set
a is () set
a is () set
a is () set
a is () set
a is () set
a is () set
a is () set
b is () set
a is () set
a is () set
b is () set
a is () set
a is set
a is () set
a is () set
a is () set
a is () set
a is () set
a is () set
a is () set
a is () set
a is () set
b is () set
b is () set
c9 is () set
a is set
a is () set
b is () set
c9 is () set
b is () set
a is set
a is () set
b is () set
a is () set
b is () set
(a,b) is set
a is () set
b is () set
(a,b) is set
a is () set
b is () set
(a,b) is set
(a,b) is set
a is () set
b is () set
(a,b) is () set
a is () set
b is () set
a is () set
(a,a) is () set
b is () set
(b,b) is () set
a is () set
b is () set
a is () set
(a,a) is () set
b is () set
(b,b) is () set
a is () set
b is () set
a is () set
(b,a) is () set
b is () set
a is () set
a is () set
(b,a) is () set
a is () set
b is () set
a is () set
(b,a) is () set
a is () set
b is () set
a is () set
(b,a) is () set
a is () set
b is () set
a is () set
(b,a) is () set
a is () set
b is () set
(a,b) is () set
a is () set
b is () set
a is () set
(a,a) is () set
b is () set
(b,b) is () set
a is () set
b is () set
a is () set
(a,a) is () set
b is () set
(b,b) is () set
a is () set
b is () set
a is () set
(a,a) is () set
b is () set
a is () set
a is () set
(a,a) is () set
a is () set
b is () set
(a,b) is () set
a is () set
a is () set
b is () set
(a,b) is () set
a is () set
a is () set
b is () set
a is () set
(a,a) is () set
a is () set
b is () set
(a,b) is () set
a is () set
((a,b),a) is () set
(b,a) is () set
(a,(b,a)) is () set
(a,a) is () set
(a,a) is () set
a is () set
b is () set
(a,b) is () set
a is () set
((a,b),a) is () set
(b,a) is () set
(a,(b,a)) is () set
a is () set
b is () set
(a,b) is () set
((a,b),b) is () set
a is () set
b is () set
(a,b) is () set
((a,b),b) is () set
a is () set
b is () set
a is () set
(a,b) is () set
(a,(a,b)) is () set
(a,a) is () set
((a,a),b) is () set
(a,b) is () set
a is () set
b is () set
(a,b) is () set
a is () set
(b,a) is () set
(a,(b,a)) is () set
(a,a) is () set
((a,b),(a,a)) is () set
a is () set
b is () set
(a,b) is () set
a is () set
(b,a) is () set
(a,(b,a)) is () set
(a,a) is () set
((a,b),(a,a)) is () set
a is () set
b is () set
(a,b) is () set
(a,b) is () set
a is () set
(b,a) is () set
((a,b),(b,a)) is () set
(a,a) is () set
(((a,b),(b,a)),(a,a)) is () set
(b,a) is () set
((a,b),(b,a)) is () set
(a,a) is () set
(((a,b),(b,a)),(a,a)) is () set
((b,a),(a,a)) is () set
((b,a),a) is () set
((a,b),a) is () set
((a,b),(a,a)) is () set
((a,b),(a,a)) is () set
((a,b),a) is () set
(a,b) is () set
((a,b),a) is () set
((a,b),(a,a)) is () set
a is () set
(a,()) is () set
a is () set
(a,()) is () set
a is () set
(a,()) is () set
a is () set
(a,()) is () set
a is () set
b is () set
a is () set
a is () set
b is () set
a is () set
a is () set
b is () set
a is () set
a is () set
b is () set
a is () set
a is () set
b is () set
a is set
b is set
a is () set
b is () set

(a,b,a,b) is set
a is () set
b is () set
(a,b) is () set
a is () set
b is () set
(a,b) is () set