:: XXREAL_1 semantic presentation

REAL is non empty complex-membered ext-real-membered real-membered V21() set

K6(REAL) is set

NAT is complex-membered ext-real-membered real-membered rational-membered integer-membered natural-membered V21() Element of K6(REAL)

ExtREAL is non empty ext-real-membered set

+infty is non empty ext-real positive non negative non real set

-infty is non empty ext-real non positive negative non real set

{} is empty complex-membered ext-real-membered real-membered rational-membered integer-membered natural-membered V21() set

the empty complex-membered ext-real-membered real-membered rational-membered integer-membered natural-membered V21() set is empty complex-membered ext-real-membered real-membered rational-membered integer-membered natural-membered V21() set

{ b

{ b

{ b

{ b

t is complex-membered ext-real-membered real-membered Element of K6(REAL)

p is ext-real set

p is ext-real set

t is ext-real Element of ExtREAL

p is ext-real set

p is ext-real set

x is complex-membered ext-real-membered real-membered Element of K6(REAL)

p is ext-real set

t is ext-real Element of ExtREAL

p is ext-real set

p is ext-real set

p is ext-real set

t is complex-membered ext-real-membered real-membered Element of K6(REAL)

x is complex-membered ext-real-membered real-membered Element of K6(REAL)

p is ext-real real set

t is ext-real real set

r is ext-real Element of ExtREAL

x is ext-real Element of ExtREAL

p is ext-real real set

t is ext-real set

r is ext-real set

x is ext-real real Element of REAL

r is ext-real real set

r is ext-real Element of ExtREAL

r is ext-real set

x is ext-real real Element of REAL

r is ext-real real set

r is ext-real Element of ExtREAL

t is complex-membered ext-real-membered real-membered Element of K6(REAL)

x is complex-membered ext-real-membered real-membered Element of K6(REAL)

r is ext-real set

s is ext-real set

{ b

{ b

{ b

{ b

r is ext-real set

s is ext-real set

t is ext-real set

(s,t) is set

{ b

x is ext-real Element of ExtREAL

r is ext-real set

s is ext-real set

t is ext-real set

(s,t) is set

{ b

x is ext-real Element of ExtREAL

r is ext-real set

s is ext-real set

t is ext-real set

(s,t) is set

{ b

x is ext-real Element of ExtREAL

r is ext-real set

s is ext-real set

t is ext-real set

(s,t) is set

{ b

x is ext-real Element of ExtREAL

r is ext-real set

s is ext-real set

(r,s) is set

{ b

t is set

x is ext-real Element of ExtREAL

(r,s) is set

{ b

t is set

x is ext-real Element of ExtREAL

(r,s) is set

{ b

t is set

x is ext-real Element of ExtREAL

(r,s) is set

{ b

t is set

x is ext-real Element of ExtREAL

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

x is ext-real set

r is set

s is ext-real set

t is ext-real set

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

{ b

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

{ b

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

{ b

r is ext-real set

(r,r) is ext-real-membered set

{ b

{r} is non empty ext-real-membered set

s is ext-real set

t is ext-real Element of ExtREAL

t is ext-real Element of ExtREAL

r is ext-real set

(r,r) is ext-real-membered set

{ b

s is ext-real set

t is ext-real set

x is ext-real Element of ExtREAL

r is ext-real set

(r,r) is ext-real-membered set

{ b

s is ext-real set

t is ext-real Element of ExtREAL

r is ext-real set

(r,r) is ext-real-membered set

{ b

s is ext-real set

t is ext-real Element of ExtREAL

r is ext-real set

(r,r) is ext-real-membered set

{ b

{r} is non empty ext-real-membered set

(r,r) is ext-real-membered set

{ b

(r,r) is ext-real-membered set

{ b

(r,r) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(s,r) is ext-real-membered set

{ b

t is ext-real set

r is ext-real set

s is ext-real set

(s,r) is ext-real-membered set

{ b

t is ext-real set

r is ext-real set

s is ext-real set

(s,r) is ext-real-membered set

{ b

(s,r) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(s,r) is ext-real-membered set

{ b

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

s is ext-real set

r is ext-real set

(r,s) is ext-real-membered set

{ b

s is ext-real set

r is ext-real set

(r,s) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

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

{ b

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

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

{ b

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

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

{ b

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

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

{ b

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

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

{ b

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

t is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

(r,t) is ext-real-membered set

{ b

x is ext-real set

r is ext-real set

{r} is non empty ext-real-membered set

s is ext-real set

(s,r) is ext-real-membered set

{ b

{s} is non empty ext-real-membered set

t is ext-real set

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

{r,s} is non empty ext-real-membered set

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

{s} is non empty ext-real-membered set

t is ext-real set

r is ext-real set

{r} is non empty ext-real-membered set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(t,r) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(t,r) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(t,r) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(t,r) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(t,r) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(t,r) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(t,r) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(t,r) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

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

{ b

x is ext-real set

(x,r) is ext-real-membered set

{ b

p is ext-real set

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

{r,s} is non empty ext-real-membered set

(r,s) \/ {r,s} is non empty ext-real-membered set

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

{s} is non empty ext-real-membered set

(r,s) \/ {s} is non empty ext-real-membered set

t is ext-real set

r is ext-real set

{r} is non empty ext-real-membered set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

{r} \/ (r,s) is non empty ext-real-membered set

t is ext-real set

r is ext-real set

{r} is non empty ext-real-membered set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

{r} \/ (r,s) is non empty ext-real-membered set

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) is ext-real-membered set

{ b

{s} is non empty ext-real-membered set

(r,s) \/ {s} is non empty ext-real-membered set

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

{r,s} is non empty ext-real-membered set

(r,s) \ {r,s} is ext-real-membered Element of K6((r,s))

K6((r,s)) is set

(r,s) is ext-real-membered set

{ b

(r,s) \/ {r,s} is non empty ext-real-membered set

r is ext-real set

{r} is non empty ext-real-membered set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) \ {r} is ext-real-membered Element of K6((r,s))

K6((r,s)) is set

(r,s) is ext-real-membered set

{ b

{r} \/ (r,s) is non empty ext-real-membered set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

{s} is non empty ext-real-membered set

(r,s) \ {s} is ext-real-membered Element of K6((r,s))

K6((r,s)) is set

(r,s) is ext-real-membered set

{ b

(r,s) \/ {s} is non empty ext-real-membered set

r is ext-real set

{r} is non empty ext-real-membered set

s is ext-real set

(r,s) is ext-real-membered set

{ b

(r,s) \ {r} is ext-real-membered Element of K6((r,s))

K6((r,s)) is set

(r,s) is ext-real-membered set

{ b

{r} \/ (r,s) is non empty ext-real-membered set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

{s} is non empty ext-real-membered set

(r,s) \ {s} is ext-real-membered Element of K6((r,s))

K6((r,s)) is set

(r,s) is ext-real-membered set

{ b

(r,s) \/ {s} is non empty ext-real-membered set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

{s} is non empty ext-real-membered set

t is ext-real set

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

{ b

(r,s) /\ (s,t) is ext-real-membered set

x is set

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

max (r,t) is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) /\ (t,x) is ext-real-membered set

min (s,x) is ext-real set

((max (r,t)),(min (s,x))) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

max (r,t) is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) /\ (t,x) is ext-real-membered set

min (s,x) is ext-real set

((max (r,t)),(min (s,x))) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

max (r,t) is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) /\ (t,x) is ext-real-membered set

min (s,x) is ext-real set

((max (r,t)),(min (s,x))) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

max (r,t) is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) /\ (t,x) is ext-real-membered set

min (s,x) is ext-real set

((max (r,t)),(min (s,x))) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

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

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

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

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

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

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

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

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

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

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

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

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

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

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

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

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

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

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

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

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) /\ (s,x) is ext-real-membered set

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

min (r,t) is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) \/ (t,x) is ext-real-membered set

max (s,x) is ext-real set

((min (r,t)),(max (s,x))) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

min (r,t) is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) \/ (t,x) is ext-real-membered set

max (s,x) is ext-real set

((min (r,t)),(max (s,x))) is ext-real-membered set

{ b

p is ext-real set

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

min (r,t) is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) \/ (t,x) is ext-real-membered set

max (s,x) is ext-real set

((min (r,t)),(max (s,x))) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

min (r,t) is ext-real set

x is ext-real set

(t,x) is ext-real-membered set

{ b

(r,s) \/ (t,x) is ext-real-membered set

max (s,x) is ext-real set

((min (r,t)),(max (s,x))) is ext-real-membered set

{ b

p is ext-real set

t is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

(r,t) is ext-real-membered set

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

(r,t) is ext-real-membered set

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

(r,t) is ext-real-membered set

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

(r,t) is ext-real-membered set

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

(r,t) is ext-real-membered set

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

(r,t) is ext-real-membered set

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

(r,t) is ext-real-membered set

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

(r,t) is ext-real-membered set

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

(r,t) is ext-real-membered set

{ b

x is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) \/ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) \/ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) \/ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) \/ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

t is ext-real set

(r,t) is ext-real-membered set

{ b

x is ext-real set

(s,x) is ext-real-membered set

{ b

(r,t) \/ (s,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

p is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

x is ext-real set

(t,x) is ext-real-membered set

{ b

((r,s) \/ (s,t)) \/ (t,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

(r,t) is ext-real-membered set

{ b

(r,t) \/ (t,x) is ext-real-membered set

(r,s) \/ {} is ext-real-membered set

((r,s) \/ {}) \/ (t,x) is ext-real-membered set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

x is ext-real set

(t,x) is ext-real-membered set

{ b

((r,s) \/ (s,t)) \/ (t,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

(r,t) is ext-real-membered set

{ b

(r,t) \/ (t,x) is ext-real-membered set

(r,s) \/ {} is ext-real-membered set

((r,s) \/ {}) \/ (t,x) is ext-real-membered set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

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

{ b

(r,s) \/ (s,t) is ext-real-membered set

x is ext-real set

(t,x) is ext-real-membered set

{ b

((r,s) \/ (s,t)) \/ (t,x) is ext-real-membered set

(r,x) is ext-real-membered set

{ b

(r,t) is ext-real-membered set

{ b

(r,t) \/ (t,x) is ext-real-membered set

(r,s) \/ {} is ext-real-membered set

((r,s) \/ {}) \/ (t,x) is ext-real-membered set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

(r,t) is ext-real-membered set

{ b

(r,t) \ (r,s) is ext-real-membered Element of K6((r,t))

K6((r,t)) is set

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

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

(r,t) is ext-real-membered set

{ b

(r,t) \ (r,s) is ext-real-membered Element of K6((r,t))

K6((r,t)) is set

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

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

(r,t) is ext-real-membered set

{ b

(r,t) \ (r,s) is ext-real-membered Element of K6((r,t))

K6((r,t)) is set

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

{ b

x is ext-real set

r is ext-real set

s is ext-real set

(r,s) is ext-real-membered set

{ b

t is ext-real set

(r,t) is ext-real-membered set

{ b

(r,t) \ (r,s) is ext-real-membered Element of K6((r,t))

K6((r,t)) is set

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

{ b