:: FUZZY_2 semantic presentation

REAL is non empty V43() V44() V45() V49() V53() set
NAT is V43() V44() V45() V46() V47() V48() V49() Element of bool REAL
bool REAL is non empty set
COMPLEX is non empty V43() V49() V53() set
{} is empty V43() V44() V45() V46() V47() V48() V49() set
1 is non empty V10() V11() V12() ext-real positive V43() V44() V45() V46() V47() V48() V71() V72() Element of NAT
{{},1} is non empty set
NAT is V43() V44() V45() V46() V47() V48() V49() set
bool NAT is non empty set
bool NAT is non empty set
ExtREAL is non empty V44() set
0 is empty V10() V11() V12() ext-real V43() V44() V45() V46() V47() V48() V49() V71() V72() Element of NAT
[.0,1.] is V43() V44() V45() Element of bool REAL
RAT is non empty V43() V44() V45() V46() V49() V53() set
INT is non empty V43() V44() V45() V46() V47() V49() V53() set
[:COMPLEX,COMPLEX:] is non empty V33() set
bool [:COMPLEX,COMPLEX:] is non empty set
[:COMPLEX,REAL:] is non empty V33() V34() V35() set
bool [:COMPLEX,REAL:] is non empty set
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is Element of C1
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f . C2 is V11() V12() ext-real Element of REAL
EMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159({},C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
(EMF C1) . C2 is V11() V12() ext-real Element of REAL
UMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159(C1,C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
(UMF C1) . C2 is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (g,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,(min (g,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,g)),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,g)),(max (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((1_minus C2),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (1_minus f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((1_minus C2),(1_minus (1_minus f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is Element of C1
(C1,C2,g) . c is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
(1_minus g) . c is V11() V12() ext-real Element of REAL
min ((C2 . c),((1_minus g) . c)) is V11() V12() ext-real Element of REAL
min ((f . c),((1_minus g) . c)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,g,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (g,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,g,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (g,(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is Element of C1
(C1,g,f) . c is V11() V12() ext-real Element of REAL
(C1,g,C2) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
1 - (f . c) is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
(1_minus f) . c is V11() V12() ext-real Element of REAL
(1_minus C2) . c is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
min (((1_minus f) . c),(g . c)) is V11() V12() ext-real Element of REAL
min (((1_minus C2) . c),(g . c)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,c) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus c is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus c)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
x is Element of C1
(C1,C2,c) . x is V11() V12() ext-real Element of REAL
(C1,f,g) . x is V11() V12() ext-real Element of REAL
g . x is V11() V12() ext-real Element of REAL
c . x is V11() V12() ext-real Element of REAL
1 - (c . x) is V11() V12() ext-real Element of REAL
1 - (g . x) is V11() V12() ext-real Element of REAL
C2 . x is V11() V12() ext-real Element of REAL
f . x is V11() V12() ext-real Element of REAL
min ((C2 . x),(1 - (c . x))) is V11() V12() ext-real Element of REAL
min ((f . x),(1 - (g . x))) is V11() V12() ext-real Element of REAL
(1_minus c) . x is V11() V12() ext-real Element of REAL
min ((C2 . x),((1_minus c) . x)) is V11() V12() ext-real Element of REAL
(1_minus g) . x is V11() V12() ext-real Element of REAL
min ((f . x),((1_minus g) . x)) is V11() V12() ext-real Element of REAL
(min (C2,(1_minus c))) . x is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
EMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159({},C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(EMF C1)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (EMF C1) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (EMF C1))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
UMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159(C1,C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(UMF C1)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(min (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (min (C2,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (min (C2,f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((1_minus C2),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(max ((1_minus C2),(1_minus f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus C2))),(C1,C2,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,f)),(C1,C2,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,(C1,f,C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,f)),(max (C2,(1_minus C2)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (C1,f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((C1,C2,f),(min (C2,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (1_minus g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((1_minus f),(1_minus (1_minus g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(max ((1_minus f),(1_minus (1_minus g))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(min (C2,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,C2,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (C1,C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (1_minus f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((1_minus C2),(1_minus (1_minus f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(max ((1_minus C2),(1_minus (1_minus f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus C2))),(min (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(max (C2,f)),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,f)),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(max (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (max (f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (max (f,g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((C1,C2,f),(C1,C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus f),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((min (C2,C2)),(min ((1_minus f),(1_minus g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(min ((1_minus f),(1_minus g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(min (C2,(min ((1_minus f),(1_minus g)))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((min (C2,(1_minus f))),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(min ((min (C2,(1_minus f))),(1_minus g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(min (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (min (f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (min (f,g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((C1,C2,f),(C1,C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((1_minus f),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(max ((1_minus f),(1_minus g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(C1,C2,f),g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((C1,C2,f),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(max (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (max (f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (max (f,g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus f),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(min ((1_minus f),(1_minus g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C2 \+\ f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus C2),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(min ((1_minus C2),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(max (C2,f)),(min (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (min (C2,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,f)),(1_minus (min (C2,f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is Element of C1
(C2 \+\ f) . g is V11() V12() ext-real Element of REAL
(C1,(max (C2,f)),(min (C2,f))) . g is V11() V12() ext-real Element of REAL
max ((1_minus C2),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,f)),(max ((1_minus C2),(1_minus f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(min ((max (C2,f)),(max ((1_minus C2),(1_minus f))))) . g is V11() V12() ext-real Element of REAL
min ((max (C2,f)),(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,f)),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((max (C2,f)),(1_minus C2))),(min ((max (C2,f)),(1_minus f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((min ((max (C2,f)),(1_minus C2))),(min ((max (C2,f)),(1_minus f))))) . g is V11() V12() ext-real Element of REAL
min ((1_minus C2),C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((1_minus C2),C2)),(min ((1_minus C2),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus f),(max (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(min ((1_minus f),(max (C2,f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(min ((1_minus f),(max (C2,f)))))) . g is V11() V12() ext-real Element of REAL
min ((1_minus f),C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus f),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((1_minus f),C2)),(min ((1_minus f),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(max ((min ((1_minus f),C2)),(min ((1_minus f),f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(max ((min ((1_minus f),C2)),(min ((1_minus f),f)))))) . g is V11() V12() ext-real Element of REAL
max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(min ((1_minus f),C2))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(min ((1_minus f),C2)))),(min ((1_minus f),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(min ((1_minus f),C2)))),(min ((1_minus f),f)))) . g is V11() V12() ext-real Element of REAL
max ((min ((1_minus C2),f)),(min ((1_minus f),C2))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((1_minus C2),C2)),(max ((min ((1_minus C2),f)),(min ((1_minus f),C2))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((min ((1_minus C2),C2)),(max ((min ((1_minus C2),f)),(min ((1_minus f),C2)))))),(min ((1_minus f),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((max ((min ((1_minus C2),C2)),(max ((min ((1_minus C2),f)),(min ((1_minus f),C2)))))),(min ((1_minus f),f)))) . g is V11() V12() ext-real Element of REAL
max ((min ((1_minus C2),C2)),(min ((1_minus f),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((min ((1_minus C2),f)),(min ((1_minus f),C2)))),(max ((min ((1_minus C2),C2)),(min ((1_minus f),f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((max ((min ((1_minus C2),f)),(min ((1_minus f),C2)))),(max ((min ((1_minus C2),C2)),(min ((1_minus f),f)))))) . g is V11() V12() ext-real Element of REAL
(max ((min ((1_minus C2),C2)),(min ((1_minus f),f)))) . g is V11() V12() ext-real Element of REAL
max (((C2 \+\ f) . g),((max ((min ((1_minus C2),C2)),(min ((1_minus f),f)))) . g)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C2 \+\ f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus C2),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(min ((1_minus C2),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is Element of C1
(C2 \+\ f) . c is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
(min (f,(1_minus C2))) . c is V11() V12() ext-real Element of REAL
(min (C2,(1_minus f))) . c is V11() V12() ext-real Element of REAL
max (((min (C2,(1_minus f))) . c),((min (f,(1_minus C2))) . c)) is V11() V12() ext-real Element of REAL
max ((g . c),(g . c)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(min (C2,f)),(min (C2,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (min (C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((min (C2,f)),(1_minus (min (C2,g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is Element of C1
(min (C2,(C1,f,g))) . c is V11() V12() ext-real Element of REAL
(C1,(min (C2,f)),(min (C2,g))) . c is V11() V12() ext-real Element of REAL
(1_minus g) . c is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
max (((1_minus C2) . c),((1_minus g) . c)) is V11() V12() ext-real Element of REAL
(min (C2,f)) . c is V11() V12() ext-real Element of REAL
min (((min (C2,f)) . c),((1_minus g) . c)) is V11() V12() ext-real Element of REAL
min (((min (C2,f)) . c),(max (((1_minus C2) . c),((1_minus g) . c)))) is V11() V12() ext-real Element of REAL
max ((1_minus C2),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((1_minus C2),(1_minus g))) . c is V11() V12() ext-real Element of REAL
min (((min (C2,f)) . c),((max ((1_minus C2),(1_minus g))) . c)) is V11() V12() ext-real Element of REAL
min ((min (C2,f)),(max ((1_minus C2),(1_minus g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(min ((min (C2,f)),(max ((1_minus C2),(1_minus g))))) . c is V11() V12() ext-real Element of REAL
min ((min (C2,f)),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(min ((min (C2,f)),(1_minus g))) . c is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C2 \+\ f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus C2),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(min ((1_minus C2),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(max (C2,f)),(min (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (min (C2,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,f)),(1_minus (min (C2,f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is Element of C1
(C2 \+\ f) . g is V11() V12() ext-real Element of REAL
(C1,(max (C2,f)),(min (C2,f))) . g is V11() V12() ext-real Element of REAL
max ((1_minus C2),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,f)),(max ((1_minus C2),(1_minus f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(min ((max (C2,f)),(max ((1_minus C2),(1_minus f))))) . g is V11() V12() ext-real Element of REAL
min ((max (C2,f)),(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,f)),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((max (C2,f)),(1_minus C2))),(min ((max (C2,f)),(1_minus f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((min ((max (C2,f)),(1_minus C2))),(min ((max (C2,f)),(1_minus f))))) . g is V11() V12() ext-real Element of REAL
min ((1_minus C2),C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((1_minus C2),C2)),(min ((1_minus C2),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus f),(max (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(min ((1_minus f),(max (C2,f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(min ((1_minus f),(max (C2,f)))))) . g is V11() V12() ext-real Element of REAL
min ((1_minus f),C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus f),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((1_minus f),C2)),(min ((1_minus f),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(max ((min ((1_minus f),C2)),(min ((1_minus f),f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(max ((min ((1_minus f),C2)),(min ((1_minus f),f)))))) . g is V11() V12() ext-real Element of REAL
max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(min ((1_minus f),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(min ((1_minus f),f)))),(min ((1_minus f),C2))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((max ((max ((min ((1_minus C2),C2)),(min ((1_minus C2),f)))),(min ((1_minus f),f)))),(min ((1_minus f),C2)))) . g is V11() V12() ext-real Element of REAL
max ((min ((1_minus C2),C2)),(min ((1_minus f),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((min ((1_minus C2),C2)),(min ((1_minus f),f)))),(min ((1_minus C2),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((max ((min ((1_minus C2),C2)),(min ((1_minus f),f)))),(min ((1_minus C2),f)))),(min ((1_minus f),C2))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((max ((max ((min ((1_minus C2),C2)),(min ((1_minus f),f)))),(min ((1_minus C2),f)))),(min ((1_minus f),C2)))) . g is V11() V12() ext-real Element of REAL
max ((min ((1_minus C2),f)),(min ((1_minus f),C2))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((max ((min ((1_minus C2),C2)),(min ((1_minus f),f)))),(max ((min ((1_minus C2),f)),(min ((1_minus f),C2))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((max ((min ((1_minus C2),C2)),(min ((1_minus f),f)))),(max ((min ((1_minus C2),f)),(min ((1_minus f),C2)))))) . g is V11() V12() ext-real Element of REAL
(max ((min ((1_minus C2),C2)),(min ((1_minus f),f)))) . g is V11() V12() ext-real Element of REAL
max (((max ((min ((1_minus C2),C2)),(min ((1_minus f),f)))) . g),((C2 \+\ f) . g)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (max (C2,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,f)),(1_minus (max (C2,f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C2 \+\ f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus C2),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(min ((1_minus C2),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (C2 \+\ f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(max (C2,f)),(min (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (min (C2,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,f)),(1_minus (min (C2,f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (C1,(max (C2,f)),(min (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (1_minus (min (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((1_minus (max (C2,f))),(1_minus (1_minus (min (C2,f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C2 \+\ f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus C2),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(min ((1_minus C2),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(C2 \+\ f),g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((C2 \+\ f),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(max (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (max (f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (max (f,g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,(max (C2,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (max (C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,(1_minus (max (C2,g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((C1,C2,(max (f,g))),(C1,f,(max (C2,g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(max ((min (C2,(1_minus f))),(min ((1_minus C2),f)))),g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max ((min (C2,(1_minus f))),(min ((1_minus C2),f)))),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus g),(min (C2,(1_minus f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus g),(min ((1_minus C2),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((1_minus g),(min (C2,(1_minus f))))),(min ((1_minus g),(min ((1_minus C2),f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus g),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((min ((1_minus g),(1_minus f))),C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((min ((1_minus g),(1_minus f))),C2)),(min ((1_minus g),(min ((1_minus C2),f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus g),(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((min ((1_minus g),(1_minus C2))),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((min ((1_minus g),(1_minus f))),C2)),(min ((min ((1_minus g),(1_minus C2))),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (g,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (max (g,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (max (g,f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,(min ((1_minus g),(1_minus C2)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus (max (g,f))))),(min (f,(min ((1_minus g),(1_minus C2)))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(max (g,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((C1,C2,(max (g,f))),(C1,f,(max (C2,g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(max (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (max (f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (max (f,g)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((min (C2,f)),g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((C1,C2,(max (f,g))),(min ((min (C2,f)),g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f \+\ g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus f),g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (f,(1_minus g))),(min ((1_minus f),g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(f \+\ g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (f \+\ g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus (f \+\ g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(min (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus (max (f,g))))),(min (C2,(min (f,g))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((1_minus (max (f,g))),(min (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(max ((1_minus (max (f,g))),(min (f,g))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,(C1,f,C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is Element of C1
(max (C2,(C1,f,C2))) . g is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
C2 . g is V11() V12() ext-real Element of REAL
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,(1_minus C2)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (C2,f)),(max (C2,(1_minus C2)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(min ((max (C2,f)),(max (C2,(1_minus C2))))) . g is V11() V12() ext-real Element of REAL
(max (C2,f)) . g is V11() V12() ext-real Element of REAL
(max (C2,(1_minus C2))) . g is V11() V12() ext-real Element of REAL
min (((max (C2,f)) . g),((max (C2,(1_minus C2))) . g)) is V11() V12() ext-real Element of REAL
max ((C2 . g),(f . g)) is V11() V12() ext-real Element of REAL
min ((max ((C2 . g),(f . g))),((max (C2,(1_minus C2))) . g)) is V11() V12() ext-real Element of REAL
min ((f . g),((max (C2,(1_minus C2))) . g)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C2 \+\ f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((1_minus C2),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(min ((1_minus C2),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((C2 \+\ f),(min (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
x is Element of C1
(max ((C2 \+\ f),(min (C2,f)))) . x is V11() V12() ext-real Element of REAL
(max (C2,f)) . x is V11() V12() ext-real Element of REAL
max ((min ((1_minus C2),f)),(min (C2,f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(max ((min ((1_minus C2),f)),(min (C2,f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((1_minus C2),f)),C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min ((1_minus C2),f)),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max ((min ((1_minus C2),f)),C2)),(max ((min ((1_minus C2),f)),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(min ((max ((min ((1_minus C2),f)),C2)),(max ((min ((1_minus C2),f)),f))))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max ((min ((1_minus C2),f)),C2)),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(min ((max ((min ((1_minus C2),f)),C2)),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),(max ((min ((1_minus C2),f)),C2))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((min (C2,(1_minus f))),f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max ((min (C2,(1_minus f))),(max ((min ((1_minus C2),f)),C2)))),(max ((min (C2,(1_minus f))),f))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(max ((min (C2,(1_minus f))),(max ((min ((1_minus C2),f)),C2)))) . x is V11() V12() ext-real Element of REAL
(max ((min (C2,(1_minus f))),f)) . x is V11() V12() ext-real Element of REAL
min (((max ((min (C2,(1_minus f))),(max ((min ((1_minus C2),f)),C2)))) . x),((max ((min (C2,(1_minus f))),f)) . x)) is V11() V12() ext-real Element of REAL
max (f,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (f,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((max (f,C2)),(max (f,(1_minus f)))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(min ((max (f,C2)),(max (f,(1_minus f))))) . x is V11() V12() ext-real Element of REAL
(max (f,(1_minus f))) . x is V11() V12() ext-real Element of REAL
min (((max (C2,f)) . x),((max (f,(1_minus f))) . x)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
EMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159({},C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is Element of C1
C2 . g is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
(1_minus f) . g is V11() V12() ext-real Element of REAL
min ((C2 . g),((1_minus f) . g)) is V11() V12() ext-real Element of REAL
(EMF C1) . g is V11() V12() ext-real Element of REAL
1_minus (1_minus f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus (1_minus f)) . g is V11() V12() ext-real Element of REAL
1 - ((1_minus f) . g) is V11() V12() ext-real Element of REAL
1_minus (EMF C1) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus (EMF C1)) . g is V11() V12() ext-real Element of REAL
UMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159(C1,C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
(UMF C1) . g is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
EMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159({},C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom C2 is Element of bool C1
bool C1 is non empty set
g is Element of C1
(min (C2,(1_minus f))) . g is V11() V12() ext-real Element of REAL
C2 . g is V11() V12() ext-real Element of REAL
(EMF C1) . g is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
min ((C2 . g),(f . g)) is V11() V12() ext-real Element of REAL
(1_minus f) . g is V11() V12() ext-real Element of REAL
min ((C2 . g),((1_minus f) . g)) is V11() V12() ext-real Element of REAL
min ((1_minus f),(EMF C1)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(min ((1_minus f),(EMF C1))) . g is V11() V12() ext-real Element of REAL
(1_minus f) . g is V11() V12() ext-real Element of REAL
min ((C2 . g),((1_minus f) . g)) is V11() V12() ext-real Element of REAL
1 - ((EMF C1) . g) is V11() V12() ext-real Element of REAL
min ((C2 . g),(1 - ((EMF C1) . g))) is V11() V12() ext-real Element of REAL
1_minus (EMF C1) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus (EMF C1)) . g is V11() V12() ext-real Element of REAL
min ((C2 . g),((1_minus (EMF C1)) . g)) is V11() V12() ext-real Element of REAL
UMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159(C1,C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
(UMF C1) . g is V11() V12() ext-real Element of REAL
min ((C2 . g),((UMF C1) . g)) is V11() V12() ext-real Element of REAL
min (C2,(UMF C1)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(min (C2,(UMF C1))) . g is V11() V12() ext-real Element of REAL
dom (min (C2,(1_minus f))) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is set
c is set
C2 . g is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
(C2 . g) * (f . g) is V11() V12() ext-real Element of REAL
x is set
g is set
c is set
C2 . g is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
(C2 . g) * (f . g) is V11() V12() ext-real Element of REAL
g is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
dom g is Element of bool C1
bool C1 is non empty set
c is set
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
x is set
c is Element of C1
g . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
rng f is V43() V44() V45() Element of bool REAL
rng C2 is V43() V44() V45() Element of bool REAL
rng g is V43() V44() V45() Element of bool REAL
x is set
y is Element of C1
g . y is V11() V12() ext-real Element of REAL
c is non empty V43() V44() V45() V50() closed_interval V81() V82() Element of bool REAL
lower_bound c is V11() V12() ext-real Element of REAL
upper_bound c is V11() V12() ext-real Element of REAL
[.(lower_bound c),(upper_bound c).] is V43() V44() V45() Element of bool REAL
dom C2 is Element of bool C1
C2 . y is V11() V12() ext-real Element of REAL
dom f is Element of bool C1
f . y is V11() V12() ext-real Element of REAL
(C2 . y) * (f . y) is V11() V12() ext-real Element of REAL
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
x is Element of C1
g . x is V11() V12() ext-real Element of REAL
c . x is V11() V12() ext-real Element of REAL
C2 . x is V11() V12() ext-real Element of REAL
f . x is V11() V12() ext-real Element of REAL
(C2 . x) * (f . x) is V11() V12() ext-real Element of REAL
dom c is Element of bool C1
bool C1 is non empty set
dom g is Element of bool C1
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
x is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
y is Element of C1
g . y is V11() V12() ext-real Element of REAL
x . y is V11() V12() ext-real Element of REAL
c . y is V11() V12() ext-real Element of REAL
(x . y) * (c . y) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is set
c is set
C2 . g is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
(C2 . g) + (f . g) is V11() V12() ext-real Element of REAL
(C2 . g) * (f . g) is V11() V12() ext-real Element of REAL
((C2 . g) + (f . g)) - ((C2 . g) * (f . g)) is V11() V12() ext-real Element of REAL
x is set
g is set
c is set
C2 . g is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
(C2 . g) + (f . g) is V11() V12() ext-real Element of REAL
(C2 . g) * (f . g) is V11() V12() ext-real Element of REAL
((C2 . g) + (f . g)) - ((C2 . g) * (f . g)) is V11() V12() ext-real Element of REAL
g is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
dom g is Element of bool C1
bool C1 is non empty set
c is set
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
(C2 . c) + (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (f . c)) - ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
x is set
c is Element of C1
g . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
(C2 . c) + (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (f . c)) - ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
rng g is V43() V44() V45() Element of bool REAL
x is set
y is Element of C1
g . y is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . y is V11() V12() ext-real Element of REAL
C2 . y is V11() V12() ext-real Element of REAL
1 - (C2 . y) is V11() V12() ext-real Element of REAL
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus f) . y is V11() V12() ext-real Element of REAL
f . y is V11() V12() ext-real Element of REAL
1 - (f . y) is V11() V12() ext-real Element of REAL
(1 - (C2 . y)) * (1 - (f . y)) is V11() V12() ext-real Element of REAL
1 - 1 is V11() V12() ext-real Element of REAL
1 - ((1 - (C2 . y)) * (1 - (f . y))) is V11() V12() ext-real Element of REAL
(C2 . y) + (f . y) is V11() V12() ext-real Element of REAL
(C2 . y) * (f . y) is V11() V12() ext-real Element of REAL
((C2 . y) + (f . y)) - ((C2 . y) * (f . y)) is V11() V12() ext-real Element of REAL
c is non empty V43() V44() V45() V50() closed_interval V81() V82() Element of bool REAL
lower_bound c is V11() V12() ext-real Element of REAL
upper_bound c is V11() V12() ext-real Element of REAL
[.(lower_bound c),(upper_bound c).] is V43() V44() V45() Element of bool REAL
1 - 0 is V11() V12() ext-real Element of REAL
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
x is Element of C1
g . x is V11() V12() ext-real Element of REAL
c . x is V11() V12() ext-real Element of REAL
C2 . x is V11() V12() ext-real Element of REAL
f . x is V11() V12() ext-real Element of REAL
(C2 . x) + (f . x) is V11() V12() ext-real Element of REAL
(C2 . x) * (f . x) is V11() V12() ext-real Element of REAL
((C2 . x) + (f . x)) - ((C2 . x) * (f . x)) is V11() V12() ext-real Element of REAL
dom c is Element of bool C1
bool C1 is non empty set
dom g is Element of bool C1
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
x is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
y is Element of C1
g . y is V11() V12() ext-real Element of REAL
x . y is V11() V12() ext-real Element of REAL
c . y is V11() V12() ext-real Element of REAL
(x . y) + (c . y) is V11() V12() ext-real Element of REAL
(x . y) * (c . y) is V11() V12() ext-real Element of REAL
((x . y) + (c . y)) - ((x . y) * (c . y)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is Element of C1
(C1,C2,C2) . f is V11() V12() ext-real Element of REAL
C2 . f is V11() V12() ext-real Element of REAL
(C2 . f) * (C2 . f) is V11() V12() ext-real Element of REAL
1 * (C2 . f) is V11() V12() ext-real Element of REAL
f is Element of C1
C2 . f is V11() V12() ext-real Element of REAL
(C1,C2,C2) . f is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . f is V11() V12() ext-real Element of REAL
0 * (C2 . f) is V11() V12() ext-real Element of REAL
(C2 . f) * ((1_minus C2) . f) is V11() V12() ext-real Element of REAL
1 - (C2 . f) is V11() V12() ext-real Element of REAL
(C2 . f) * (1 - (C2 . f)) is V11() V12() ext-real Element of REAL
0 + (C2 . f) is V11() V12() ext-real Element of REAL
(C2 . f) * (C2 . f) is V11() V12() ext-real Element of REAL
(C2 . f) - ((C2 . f) * (C2 . f)) is V11() V12() ext-real Element of REAL
((C2 . f) - ((C2 . f) * (C2 . f))) + (C2 . f) is V11() V12() ext-real Element of REAL
(C2 . f) + (C2 . f) is V11() V12() ext-real Element of REAL
((C2 . f) + (C2 . f)) - ((C2 . f) * (C2 . f)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(C1,C2,f),g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (C1,C2,(C1,f,g)) is Element of bool C1
bool C1 is non empty set
c is Element of C1
(C1,(C1,C2,f),g) . c is V11() V12() ext-real Element of REAL
(C1,C2,(C1,f,g)) . c is V11() V12() ext-real Element of REAL
(C1,C2,f) . c is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
((C1,C2,f) . c) * (g . c) is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
((C2 . c) * (f . c)) * (g . c) is V11() V12() ext-real Element of REAL
(f . c) * (g . c) is V11() V12() ext-real Element of REAL
(C2 . c) * ((f . c) * (g . c)) is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
(C2 . c) * ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
dom (C1,(C1,C2,f),g) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(C1,C2,f),g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (C1,C2,(C1,f,g)) is Element of bool C1
bool C1 is non empty set
c is Element of C1
(C1,(C1,C2,f),g) . c is V11() V12() ext-real Element of REAL
(C1,C2,(C1,f,g)) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
(C2 . c) + ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
(C2 . c) * ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
((C2 . c) + ((C1,f,g) . c)) - ((C2 . c) * ((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(f . c) + (g . c) is V11() V12() ext-real Element of REAL
(f . c) * (g . c) is V11() V12() ext-real Element of REAL
((f . c) + (g . c)) - ((f . c) * (g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) + (((f . c) + (g . c)) - ((f . c) * (g . c))) is V11() V12() ext-real Element of REAL
((C2 . c) + (((f . c) + (g . c)) - ((f . c) * (g . c)))) - ((C2 . c) * ((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(C2 . c) + ((f . c) + (g . c)) is V11() V12() ext-real Element of REAL
((C2 . c) + ((f . c) + (g . c))) - ((f . c) * (g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (((f . c) + (g . c)) - ((f . c) * (g . c))) is V11() V12() ext-real Element of REAL
(((C2 . c) + ((f . c) + (g . c))) - ((f . c) * (g . c))) - ((C2 . c) * (((f . c) + (g . c)) - ((f . c) * (g . c)))) is V11() V12() ext-real Element of REAL
- ((f . c) * (g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
(- ((f . c) * (g . c))) - ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
((- ((f . c) * (g . c))) - ((C2 . c) * (f . c))) - ((C2 . c) * (g . c)) is V11() V12() ext-real Element of REAL
((C2 . c) * (f . c)) * (g . c) is V11() V12() ext-real Element of REAL
(((- ((f . c) * (g . c))) - ((C2 . c) * (f . c))) - ((C2 . c) * (g . c))) + (((C2 . c) * (f . c)) * (g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) + (f . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (f . c)) + (g . c) is V11() V12() ext-real Element of REAL
((((- ((f . c) * (g . c))) - ((C2 . c) * (f . c))) - ((C2 . c) * (g . c))) + (((C2 . c) * (f . c)) * (g . c))) + (((C2 . c) + (f . c)) + (g . c)) is V11() V12() ext-real Element of REAL
(C1,C2,f) . c is V11() V12() ext-real Element of REAL
((C1,C2,f) . c) + (g . c) is V11() V12() ext-real Element of REAL
((C1,C2,f) . c) * (g . c) is V11() V12() ext-real Element of REAL
(((C1,C2,f) . c) + (g . c)) - (((C1,C2,f) . c) * (g . c)) is V11() V12() ext-real Element of REAL
((C2 . c) + (f . c)) - ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
(((C2 . c) + (f . c)) - ((C2 . c) * (f . c))) + (g . c) is V11() V12() ext-real Element of REAL
((((C2 . c) + (f . c)) - ((C2 . c) * (f . c))) + (g . c)) - (((C1,C2,f) . c) * (g . c)) is V11() V12() ext-real Element of REAL
- ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
(- ((C2 . c) * (f . c))) + ((C2 . c) + (f . c)) is V11() V12() ext-real Element of REAL
((- ((C2 . c) * (f . c))) + ((C2 . c) + (f . c))) + (g . c) is V11() V12() ext-real Element of REAL
(((C2 . c) + (f . c)) - ((C2 . c) * (f . c))) * (g . c) is V11() V12() ext-real Element of REAL
(((- ((C2 . c) * (f . c))) + ((C2 . c) + (f . c))) + (g . c)) - ((((C2 . c) + (f . c)) - ((C2 . c) * (f . c))) * (g . c)) is V11() V12() ext-real Element of REAL
(- ((C2 . c) * (f . c))) - ((C2 . c) * (g . c)) is V11() V12() ext-real Element of REAL
((- ((C2 . c) * (f . c))) - ((C2 . c) * (g . c))) - ((f . c) * (g . c)) is V11() V12() ext-real Element of REAL
(((- ((C2 . c) * (f . c))) - ((C2 . c) * (g . c))) - ((f . c) * (g . c))) + (((C2 . c) * (f . c)) * (g . c)) is V11() V12() ext-real Element of REAL
((((- ((C2 . c) * (f . c))) - ((C2 . c) * (g . c))) - ((f . c) * (g . c))) + (((C2 . c) * (f . c)) * (g . c))) + (((C2 . c) + (f . c)) + (g . c)) is V11() V12() ext-real Element of REAL
dom (C1,(C1,C2,f),g) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,C2,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,C2,f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is Element of C1
(C1,C2,(C1,C2,f)) . g is V11() V12() ext-real Element of REAL
C2 . g is V11() V12() ext-real Element of REAL
(C1,C2,f) . g is V11() V12() ext-real Element of REAL
((C1,C2,f) . g) * (C2 . g) is V11() V12() ext-real Element of REAL
1 * (C2 . g) is V11() V12() ext-real Element of REAL
g is Element of C1
C2 . g is V11() V12() ext-real Element of REAL
(C1,C2,(C1,C2,f)) . g is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . g is V11() V12() ext-real Element of REAL
(C1,C2,f) . g is V11() V12() ext-real Element of REAL
0 * ((C1,C2,f) . g) is V11() V12() ext-real Element of REAL
((1_minus C2) . g) * ((C1,C2,f) . g) is V11() V12() ext-real Element of REAL
1 - (C2 . g) is V11() V12() ext-real Element of REAL
(1 - (C2 . g)) * ((C1,C2,f) . g) is V11() V12() ext-real Element of REAL
0 + (C2 . g) is V11() V12() ext-real Element of REAL
(C2 . g) * ((C1,C2,f) . g) is V11() V12() ext-real Element of REAL
((C1,C2,f) . g) - ((C2 . g) * ((C1,C2,f) . g)) is V11() V12() ext-real Element of REAL
(((C1,C2,f) . g) - ((C2 . g) * ((C1,C2,f) . g))) + (C2 . g) is V11() V12() ext-real Element of REAL
(C2 . g) + ((C1,C2,f) . g) is V11() V12() ext-real Element of REAL
((C2 . g) + ((C1,C2,f) . g)) - ((C2 . g) * ((C1,C2,f) . g)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(C1,C2,f),(C1,C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is Element of C1
(C1,C2,(C1,f,g)) . c is V11() V12() ext-real Element of REAL
(C1,(C1,C2,f),(C1,C2,g)) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
(C1,C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,C2) . c is V11() V12() ext-real Element of REAL
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) . c is V11() V12() ext-real Element of REAL
((C1,C2,C2) . c) * ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
(C2 . c) * ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
(C1,C2,f) . c is V11() V12() ext-real Element of REAL
(C1,C2,g) . c is V11() V12() ext-real Element of REAL
((C1,C2,f) . c) + ((C1,C2,g) . c) is V11() V12() ext-real Element of REAL
(((C1,C2,f) . c) + ((C1,C2,g) . c)) - ((C2 . c) * ((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(((C1,C2,f) . c) + ((C1,C2,g) . c)) - (((C1,C2,C2) . c) * ((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(C1,(C1,C2,C2),(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(C1,C2,C2),(C1,f,g)) . c is V11() V12() ext-real Element of REAL
(((C1,C2,f) . c) + ((C1,C2,g) . c)) - ((C1,(C1,C2,C2),(C1,f,g)) . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
((C2 . c) * (f . c)) + ((C1,C2,g) . c) is V11() V12() ext-real Element of REAL
(((C2 . c) * (f . c)) + ((C1,C2,g) . c)) - ((C2 . c) * ((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
((C2 . c) * (f . c)) + ((C2 . c) * (g . c)) is V11() V12() ext-real Element of REAL
(((C2 . c) * (f . c)) + ((C2 . c) * (g . c))) - ((C2 . c) * ((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(C1,C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,C2,(C1,f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,C2,(C1,f,g))) . c is V11() V12() ext-real Element of REAL
(((C1,C2,f) . c) + ((C1,C2,g) . c)) - ((C1,C2,(C1,C2,(C1,f,g))) . c) is V11() V12() ext-real Element of REAL
(f . c) + (g . c) is V11() V12() ext-real Element of REAL
((f . c) + (g . c)) - ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
(((f . c) + (g . c)) - ((C1,f,g) . c)) * (C2 . c) is V11() V12() ext-real Element of REAL
(C1,f,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(C1,f,C2),g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,(C1,f,C2),g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,(C1,f,C2),g)) . c is V11() V12() ext-real Element of REAL
(((C1,C2,f) . c) + ((C1,C2,g) . c)) - ((C1,C2,(C1,(C1,f,C2),g)) . c) is V11() V12() ext-real Element of REAL
(C1,(C1,C2,f),(C1,C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(C1,C2,f),(C1,C2,g)) . c is V11() V12() ext-real Element of REAL
(((C1,C2,f) . c) + ((C1,C2,g) . c)) - ((C1,(C1,C2,f),(C1,C2,g)) . c) is V11() V12() ext-real Element of REAL
(f . c) * (g . c) is V11() V12() ext-real Element of REAL
((f . c) + (g . c)) - ((f . c) * (g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (((f . c) + (g . c)) - ((f . c) * (g . c))) is V11() V12() ext-real Element of REAL
((C1,C2,f) . c) * ((C1,C2,g) . c) is V11() V12() ext-real Element of REAL
(((C1,C2,f) . c) + ((C1,C2,g) . c)) - (((C1,C2,f) . c) * ((C1,C2,g) . c)) is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
(C2 . c) * ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(C1,C2,f),(C1,C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is Element of C1
(C1,(C1,C2,f),(C1,C2,g)) . c is V11() V12() ext-real Element of REAL
(C1,C2,(C1,f,g)) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
(C1,C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,C2) . c is V11() V12() ext-real Element of REAL
(C2 . c) * (C2 . c) is V11() V12() ext-real Element of REAL
((C2 . c) * (C2 . c)) - (C2 . c) is V11() V12() ext-real Element of REAL
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus (C1,f,g)) . c is V11() V12() ext-real Element of REAL
- (C2 . c) is V11() V12() ext-real Element of REAL
(- (C2 . c)) + ((C2 . c) * (C2 . c)) is V11() V12() ext-real Element of REAL
((1_minus (C1,f,g)) . c) * ((- (C2 . c)) + ((C2 . c) * (C2 . c))) is V11() V12() ext-real Element of REAL
0 * ((- (C2 . c)) + ((C2 . c) * (C2 . c))) is V11() V12() ext-real Element of REAL
((C1,(C1,C2,f),(C1,C2,g)) . c) - ((C1,C2,(C1,f,g)) . c) is V11() V12() ext-real Element of REAL
(C1,C2,f) . c is V11() V12() ext-real Element of REAL
(C1,C2,g) . c is V11() V12() ext-real Element of REAL
((C1,C2,f) . c) * ((C1,C2,g) . c) is V11() V12() ext-real Element of REAL
(((C1,C2,f) . c) * ((C1,C2,g) . c)) - ((C1,C2,(C1,f,g)) . c) is V11() V12() ext-real Element of REAL
(C2 . c) + (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (f . c)) - ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
(((C2 . c) + (f . c)) - ((C2 . c) * (f . c))) * ((C1,C2,g) . c) is V11() V12() ext-real Element of REAL
((((C2 . c) + (f . c)) - ((C2 . c) * (f . c))) * ((C1,C2,g) . c)) - ((C1,C2,(C1,f,g)) . c) is V11() V12() ext-real Element of REAL
(C2 . c) + (g . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (g . c)) - ((C2 . c) * (g . c)) is V11() V12() ext-real Element of REAL
(((C2 . c) + (f . c)) - ((C2 . c) * (f . c))) * (((C2 . c) + (g . c)) - ((C2 . c) * (g . c))) is V11() V12() ext-real Element of REAL
((((C2 . c) + (f . c)) - ((C2 . c) * (f . c))) * (((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) - ((C1,C2,(C1,f,g)) . c) is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
(C2 . c) + ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
(C2 . c) * ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
((C2 . c) + ((C1,f,g) . c)) - ((C2 . c) * ((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
((((C2 . c) + (f . c)) - ((C2 . c) * (f . c))) * (((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) - (((C2 . c) + ((C1,f,g) . c)) - ((C2 . c) * ((C1,f,g) . c))) is V11() V12() ext-real Element of REAL
(f . c) * (g . c) is V11() V12() ext-real Element of REAL
(C2 . c) + ((f . c) * (g . c)) is V11() V12() ext-real Element of REAL
((C2 . c) + ((f . c) * (g . c))) - ((C2 . c) * ((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
((((C2 . c) + (f . c)) - ((C2 . c) * (f . c))) * (((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) - (((C2 . c) + ((f . c) * (g . c))) - ((C2 . c) * ((C1,f,g) . c))) is V11() V12() ext-real Element of REAL
(C2 . c) - ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
((C2 . c) - ((C2 . c) * (f . c))) + (f . c) is V11() V12() ext-real Element of REAL
(((C2 . c) - ((C2 . c) * (f . c))) + (f . c)) * (((C2 . c) + (g . c)) - ((C2 . c) * (g . c))) is V11() V12() ext-real Element of REAL
((f . c) * (g . c)) * (C2 . c) is V11() V12() ext-real Element of REAL
((C2 . c) + ((f . c) * (g . c))) - (((f . c) * (g . c)) * (C2 . c)) is V11() V12() ext-real Element of REAL
((((C2 . c) - ((C2 . c) * (f . c))) + (f . c)) * (((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) - (((C2 . c) + ((f . c) * (g . c))) - (((f . c) * (g . c)) * (C2 . c))) is V11() V12() ext-real Element of REAL
(f . c) + (g . c) is V11() V12() ext-real Element of REAL
((f . c) + (g . c)) - ((f . c) * (g . c)) is V11() V12() ext-real Element of REAL
(((f . c) + (g . c)) - ((f . c) * (g . c))) - 1 is V11() V12() ext-real Element of REAL
(C2 . c) * ((((f . c) + (g . c)) - ((f . c) * (g . c))) - 1) is V11() V12() ext-real Element of REAL
- (f . c) is V11() V12() ext-real Element of REAL
(- (f . c)) + ((f . c) * (g . c)) is V11() V12() ext-real Element of REAL
((- (f . c)) + ((f . c) * (g . c))) - (g . c) is V11() V12() ext-real Element of REAL
(((- (f . c)) + ((f . c) * (g . c))) - (g . c)) + 1 is V11() V12() ext-real Element of REAL
((((- (f . c)) + ((f . c) * (g . c))) - (g . c)) + 1) * ((C2 . c) * (C2 . c)) is V11() V12() ext-real Element of REAL
((C2 . c) * ((((f . c) + (g . c)) - ((f . c) * (g . c))) - 1)) + (((((- (f . c)) + ((f . c) * (g . c))) - (g . c)) + 1) * ((C2 . c) * (C2 . c))) is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
((C1,f,g) . c) - 1 is V11() V12() ext-real Element of REAL
(C2 . c) * (((C1,f,g) . c) - 1) is V11() V12() ext-real Element of REAL
- (((f . c) + (g . c)) - ((f . c) * (g . c))) is V11() V12() ext-real Element of REAL
(- (((f . c) + (g . c)) - ((f . c) * (g . c)))) + 1 is V11() V12() ext-real Element of REAL
((- (((f . c) + (g . c)) - ((f . c) * (g . c)))) + 1) * ((C2 . c) * (C2 . c)) is V11() V12() ext-real Element of REAL
((C2 . c) * (((C1,f,g) . c) - 1)) + (((- (((f . c) + (g . c)) - ((f . c) * (g . c)))) + 1) * ((C2 . c) * (C2 . c))) is V11() V12() ext-real Element of REAL
- ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
(- ((C1,f,g) . c)) + 1 is V11() V12() ext-real Element of REAL
- ((- ((C1,f,g) . c)) + 1) is V11() V12() ext-real Element of REAL
(C2 . c) * (- ((- ((C1,f,g) . c)) + 1)) is V11() V12() ext-real Element of REAL
((- ((C1,f,g) . c)) + 1) * ((C2 . c) * (C2 . c)) is V11() V12() ext-real Element of REAL
((C2 . c) * (- ((- ((C1,f,g) . c)) + 1))) + (((- ((C1,f,g) . c)) + 1) * ((C2 . c) * (C2 . c))) is V11() V12() ext-real Element of REAL
1 - ((C1,f,g) . c) is V11() V12() ext-real Element of REAL
(1 - ((C1,f,g) . c)) * ((- (C2 . c)) + ((C2 . c) * (C2 . c))) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(1_minus C2),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (C1,(1_minus C2),(1_minus f)) is Element of bool C1
bool C1 is non empty set
g is Element of C1
(1_minus (C1,C2,f)) . g is V11() V12() ext-real Element of REAL
(C1,(1_minus C2),(1_minus f)) . g is V11() V12() ext-real Element of REAL
(1_minus C2) . g is V11() V12() ext-real Element of REAL
(1_minus f) . g is V11() V12() ext-real Element of REAL
((1_minus C2) . g) + ((1_minus f) . g) is V11() V12() ext-real Element of REAL
((1_minus C2) . g) * ((1_minus f) . g) is V11() V12() ext-real Element of REAL
(((1_minus C2) . g) + ((1_minus f) . g)) - (((1_minus C2) . g) * ((1_minus f) . g)) is V11() V12() ext-real Element of REAL
C2 . g is V11() V12() ext-real Element of REAL
1 - (C2 . g) is V11() V12() ext-real Element of REAL
(1 - (C2 . g)) + ((1_minus f) . g) is V11() V12() ext-real Element of REAL
((1 - (C2 . g)) + ((1_minus f) . g)) - (((1_minus C2) . g) * ((1_minus f) . g)) is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
1 - (f . g) is V11() V12() ext-real Element of REAL
(1 - (C2 . g)) + (1 - (f . g)) is V11() V12() ext-real Element of REAL
((1 - (C2 . g)) + (1 - (f . g))) - (((1_minus C2) . g) * ((1_minus f) . g)) is V11() V12() ext-real Element of REAL
(1 - (C2 . g)) * ((1_minus f) . g) is V11() V12() ext-real Element of REAL
((1 - (C2 . g)) + (1 - (f . g))) - ((1 - (C2 . g)) * ((1_minus f) . g)) is V11() V12() ext-real Element of REAL
(1 - (C2 . g)) * (1 - (f . g)) is V11() V12() ext-real Element of REAL
((1 - (C2 . g)) + (1 - (f . g))) - ((1 - (C2 . g)) * (1 - (f . g))) is V11() V12() ext-real Element of REAL
(f . g) - (f . g) is V11() V12() ext-real Element of REAL
((f . g) - (f . g)) + 1 is V11() V12() ext-real Element of REAL
(C2 . g) * (f . g) is V11() V12() ext-real Element of REAL
(((f . g) - (f . g)) + 1) - ((C2 . g) * (f . g)) is V11() V12() ext-real Element of REAL
(C1,C2,f) . g is V11() V12() ext-real Element of REAL
1 - ((C1,C2,f) . g) is V11() V12() ext-real Element of REAL
dom (1_minus (C1,C2,f)) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(1_minus C2),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (C1,(1_minus C2),(1_minus f)) is Element of bool C1
bool C1 is non empty set
g is Element of C1
(1_minus (C1,C2,f)) . g is V11() V12() ext-real Element of REAL
(C1,(1_minus C2),(1_minus f)) . g is V11() V12() ext-real Element of REAL
(1_minus C2) . g is V11() V12() ext-real Element of REAL
(1_minus f) . g is V11() V12() ext-real Element of REAL
((1_minus C2) . g) * ((1_minus f) . g) is V11() V12() ext-real Element of REAL
C2 . g is V11() V12() ext-real Element of REAL
1 - (C2 . g) is V11() V12() ext-real Element of REAL
(1 - (C2 . g)) * ((1_minus f) . g) is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
1 - (f . g) is V11() V12() ext-real Element of REAL
(1 - (C2 . g)) * (1 - (f . g)) is V11() V12() ext-real Element of REAL
(C2 . g) + (f . g) is V11() V12() ext-real Element of REAL
(C2 . g) * (f . g) is V11() V12() ext-real Element of REAL
((C2 . g) + (f . g)) - ((C2 . g) * (f . g)) is V11() V12() ext-real Element of REAL
1 - (((C2 . g) + (f . g)) - ((C2 . g) * (f . g))) is V11() V12() ext-real Element of REAL
(C1,C2,f) . g is V11() V12() ext-real Element of REAL
1 - ((C1,C2,f) . g) is V11() V12() ext-real Element of REAL
dom (1_minus (C1,C2,f)) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(1_minus C2),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (C1,(1_minus C2),(1_minus f)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (1_minus (C1,(1_minus C2),(1_minus f))) is Element of bool C1
bool C1 is non empty set
g is Element of C1
(C1,C2,f) . g is V11() V12() ext-real Element of REAL
(1_minus (C1,(1_minus C2),(1_minus f))) . g is V11() V12() ext-real Element of REAL
(C1,(1_minus C2),(1_minus f)) . g is V11() V12() ext-real Element of REAL
1 - ((C1,(1_minus C2),(1_minus f)) . g) is V11() V12() ext-real Element of REAL
(1_minus C2) . g is V11() V12() ext-real Element of REAL
(1_minus f) . g is V11() V12() ext-real Element of REAL
((1_minus C2) . g) * ((1_minus f) . g) is V11() V12() ext-real Element of REAL
1 - (((1_minus C2) . g) * ((1_minus f) . g)) is V11() V12() ext-real Element of REAL
C2 . g is V11() V12() ext-real Element of REAL
1 - (C2 . g) is V11() V12() ext-real Element of REAL
(1 - (C2 . g)) * ((1_minus f) . g) is V11() V12() ext-real Element of REAL
1 - ((1 - (C2 . g)) * ((1_minus f) . g)) is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
1 - (f . g) is V11() V12() ext-real Element of REAL
(1 - (C2 . g)) * (1 - (f . g)) is V11() V12() ext-real Element of REAL
1 - ((1 - (C2 . g)) * (1 - (f . g))) is V11() V12() ext-real Element of REAL
(C2 . g) + (f . g) is V11() V12() ext-real Element of REAL
(C2 . g) * (f . g) is V11() V12() ext-real Element of REAL
((C2 . g) + (f . g)) - ((C2 . g) * (f . g)) is V11() V12() ext-real Element of REAL
dom (C1,C2,f) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
EMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159({},C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
UMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159(C1,C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(EMF C1)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(UMF C1)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (C1,C2,(EMF C1)) is Element of bool C1
bool C1 is non empty set
dom C2 is Element of bool C1
f is Element of C1
(C1,C2,(UMF C1)) . f is V11() V12() ext-real Element of REAL
C2 . f is V11() V12() ext-real Element of REAL
(UMF C1) . f is V11() V12() ext-real Element of REAL
(C2 . f) * ((UMF C1) . f) is V11() V12() ext-real Element of REAL
(C2 . f) * 1 is V11() V12() ext-real Element of REAL
f is Element of C1
(C1,C2,(EMF C1)) . f is V11() V12() ext-real Element of REAL
(EMF C1) . f is V11() V12() ext-real Element of REAL
C2 . f is V11() V12() ext-real Element of REAL
(C2 . f) * ((EMF C1) . f) is V11() V12() ext-real Element of REAL
(C2 . f) * 0 is V11() V12() ext-real Element of REAL
dom (C1,C2,(UMF C1)) is Element of bool C1
dom (EMF C1) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
EMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159({},C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
UMF C1 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
K159(C1,C1) is V16() V19(C1) V20( REAL ) V21() V33() V34() V35() Element of bool [:C1,REAL:]
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(EMF C1)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(UMF C1)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (C1,C2,(EMF C1)) is Element of bool C1
bool C1 is non empty set
dom (UMF C1) is Element of bool C1
f is Element of C1
(C1,C2,(UMF C1)) . f is V11() V12() ext-real Element of REAL
(UMF C1) . f is V11() V12() ext-real Element of REAL
C2 . f is V11() V12() ext-real Element of REAL
(C2 . f) + ((UMF C1) . f) is V11() V12() ext-real Element of REAL
(C2 . f) * ((UMF C1) . f) is V11() V12() ext-real Element of REAL
((C2 . f) + ((UMF C1) . f)) - ((C2 . f) * ((UMF C1) . f)) is V11() V12() ext-real Element of REAL
((UMF C1) . f) + (C2 . f) is V11() V12() ext-real Element of REAL
(C2 . f) * 1 is V11() V12() ext-real Element of REAL
(((UMF C1) . f) + (C2 . f)) - ((C2 . f) * 1) is V11() V12() ext-real Element of REAL
(C2 . f) - (C2 . f) is V11() V12() ext-real Element of REAL
((UMF C1) . f) + ((C2 . f) - (C2 . f)) is V11() V12() ext-real Element of REAL
f is Element of C1
(C1,C2,(EMF C1)) . f is V11() V12() ext-real Element of REAL
C2 . f is V11() V12() ext-real Element of REAL
(EMF C1) . f is V11() V12() ext-real Element of REAL
(C2 . f) + ((EMF C1) . f) is V11() V12() ext-real Element of REAL
(C2 . f) * ((EMF C1) . f) is V11() V12() ext-real Element of REAL
((C2 . f) + ((EMF C1) . f)) - ((C2 . f) * ((EMF C1) . f)) is V11() V12() ext-real Element of REAL
(C2 . f) + 0 is V11() V12() ext-real Element of REAL
((C2 . f) + 0) - ((C2 . f) * ((EMF C1) . f)) is V11() V12() ext-real Element of REAL
(C2 . f) * 0 is V11() V12() ext-real Element of REAL
(C2 . f) - ((C2 . f) * 0) is V11() V12() ext-real Element of REAL
dom (C1,C2,(UMF C1)) is Element of bool C1
dom C2 is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is Element of C1
(C1,C2,f) . g is V11() V12() ext-real Element of REAL
(min (C2,f)) . g is V11() V12() ext-real Element of REAL
C2 . g is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
min ((C2 . g),(f . g)) is V11() V12() ext-real Element of REAL
(f . g) * (C2 . g) is V11() V12() ext-real Element of REAL
1 * (C2 . g) is V11() V12() ext-real Element of REAL
(C2 . g) * (f . g) is V11() V12() ext-real Element of REAL
1 * (f . g) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is Element of C1
(max (C2,f)) . g is V11() V12() ext-real Element of REAL
(C1,C2,f) . g is V11() V12() ext-real Element of REAL
C2 . g is V11() V12() ext-real Element of REAL
f . g is V11() V12() ext-real Element of REAL
max ((C2 . g),(f . g)) is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . g is V11() V12() ext-real Element of REAL
0 * (f . g) is V11() V12() ext-real Element of REAL
(f . g) * ((1_minus C2) . g) is V11() V12() ext-real Element of REAL
1 - (C2 . g) is V11() V12() ext-real Element of REAL
(f . g) * (1 - (C2 . g)) is V11() V12() ext-real Element of REAL
0 + (C2 . g) is V11() V12() ext-real Element of REAL
(C2 . g) * (f . g) is V11() V12() ext-real Element of REAL
(f . g) - ((C2 . g) * (f . g)) is V11() V12() ext-real Element of REAL
((f . g) - ((C2 . g) * (f . g))) + (C2 . g) is V11() V12() ext-real Element of REAL
(C2 . g) + (f . g) is V11() V12() ext-real Element of REAL
((C2 . g) + (f . g)) - ((C2 . g) * (f . g)) is V11() V12() ext-real Element of REAL
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus f) . g is V11() V12() ext-real Element of REAL
0 * (C2 . g) is V11() V12() ext-real Element of REAL
(C2 . g) * ((1_minus f) . g) is V11() V12() ext-real Element of REAL
1 - (f . g) is V11() V12() ext-real Element of REAL
(C2 . g) * (1 - (f . g)) is V11() V12() ext-real Element of REAL
0 + (f . g) is V11() V12() ext-real Element of REAL
(C2 . g) * (f . g) is V11() V12() ext-real Element of REAL
(C2 . g) - ((C2 . g) * (f . g)) is V11() V12() ext-real Element of REAL
((C2 . g) - ((C2 . g) * (f . g))) + (f . g) is V11() V12() ext-real Element of REAL
(C2 . g) + (f . g) is V11() V12() ext-real Element of REAL
((C2 . g) + (f . g)) - ((C2 . g) * (f . g)) is V11() V12() ext-real Element of REAL
f is V11() V12() ext-real Element of REAL
C1 is V11() V12() ext-real Element of REAL
C2 is V11() V12() ext-real Element of REAL
min (C1,C2) is V11() V12() ext-real Element of REAL
f * (min (C1,C2)) is V11() V12() ext-real Element of REAL
f * C1 is V11() V12() ext-real Element of REAL
f * C2 is V11() V12() ext-real Element of REAL
min ((f * C1),(f * C2)) is V11() V12() ext-real Element of REAL
C1 * f is V11() V12() ext-real Element of REAL
C2 * f is V11() V12() ext-real Element of REAL
C2 * f is V11() V12() ext-real Element of REAL
C1 * f is V11() V12() ext-real Element of REAL
f is V11() V12() ext-real Element of REAL
C1 is V11() V12() ext-real Element of REAL
C2 is V11() V12() ext-real Element of REAL
max (C1,C2) is V11() V12() ext-real Element of REAL
f * (max (C1,C2)) is V11() V12() ext-real Element of REAL
f * C1 is V11() V12() ext-real Element of REAL
f * C2 is V11() V12() ext-real Element of REAL
max ((f * C1),(f * C2)) is V11() V12() ext-real Element of REAL
C1 * f is V11() V12() ext-real Element of REAL
C2 * f is V11() V12() ext-real Element of REAL
C1 * f is V11() V12() ext-real Element of REAL
f is V11() V12() ext-real Element of REAL
C1 is V11() V12() ext-real Element of REAL
C2 is V11() V12() ext-real Element of REAL
max (C1,C2) is V11() V12() ext-real Element of REAL
f * (max (C1,C2)) is V11() V12() ext-real Element of REAL
f * C1 is V11() V12() ext-real Element of REAL
f * C2 is V11() V12() ext-real Element of REAL
max ((f * C1),(f * C2)) is V11() V12() ext-real Element of REAL
min (C1,C2) is V11() V12() ext-real Element of REAL
f * (min (C1,C2)) is V11() V12() ext-real Element of REAL
min ((f * C1),(f * C2)) is V11() V12() ext-real Element of REAL
f is V11() V12() ext-real Element of REAL
C1 is V11() V12() ext-real Element of REAL
C2 is V11() V12() ext-real Element of REAL
max (C1,C2) is V11() V12() ext-real Element of REAL
f + (max (C1,C2)) is V11() V12() ext-real Element of REAL
f + C1 is V11() V12() ext-real Element of REAL
f + C2 is V11() V12() ext-real Element of REAL
max ((f + C1),(f + C2)) is V11() V12() ext-real Element of REAL
min (C1,C2) is V11() V12() ext-real Element of REAL
f + (min (C1,C2)) is V11() V12() ext-real Element of REAL
min ((f + C1),(f + C2)) is V11() V12() ext-real Element of REAL
C1 + f is V11() V12() ext-real Element of REAL
C2 + f is V11() V12() ext-real Element of REAL
C1 + f is V11() V12() ext-real Element of REAL
C2 + f is V11() V12() ext-real Element of REAL
C1 + f is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(max (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((C1,C2,f),(C1,C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (max ((C1,C2,f),(C1,C2,g))) is Element of bool C1
bool C1 is non empty set
c is Element of C1
(C1,C2,(max (f,g))) . c is V11() V12() ext-real Element of REAL
(max ((C1,C2,f),(C1,C2,g))) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
(max (f,g)) . c is V11() V12() ext-real Element of REAL
(C2 . c) * ((max (f,g)) . c) is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
max ((f . c),(g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (max ((f . c),(g . c))) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
max (((C2 . c) * (f . c)),((C2 . c) * (g . c))) is V11() V12() ext-real Element of REAL
(C1,C2,f) . c is V11() V12() ext-real Element of REAL
max (((C1,C2,f) . c),((C2 . c) * (g . c))) is V11() V12() ext-real Element of REAL
(C1,C2,g) . c is V11() V12() ext-real Element of REAL
max (((C1,C2,f) . c),((C1,C2,g) . c)) is V11() V12() ext-real Element of REAL
dom (C1,C2,(max (f,g))) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(min (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((C1,C2,f),(C1,C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (min ((C1,C2,f),(C1,C2,g))) is Element of bool C1
bool C1 is non empty set
c is Element of C1
(C1,C2,(min (f,g))) . c is V11() V12() ext-real Element of REAL
(min ((C1,C2,f),(C1,C2,g))) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
(min (f,g)) . c is V11() V12() ext-real Element of REAL
(C2 . c) * ((min (f,g)) . c) is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
min ((f . c),(g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (min ((f . c),(g . c))) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
min (((C2 . c) * (f . c)),((C2 . c) * (g . c))) is V11() V12() ext-real Element of REAL
(C1,C2,f) . c is V11() V12() ext-real Element of REAL
min (((C1,C2,f) . c),((C2 . c) * (g . c))) is V11() V12() ext-real Element of REAL
(C1,C2,g) . c is V11() V12() ext-real Element of REAL
min (((C1,C2,f) . c),((C1,C2,g) . c)) is V11() V12() ext-real Element of REAL
dom (C1,C2,(min (f,g))) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(max (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max ((C1,C2,f),(C1,C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (max ((C1,C2,f),(C1,C2,g))) is Element of bool C1
bool C1 is non empty set
c is Element of C1
(C1,C2,(max (f,g))) . c is V11() V12() ext-real Element of REAL
(max ((C1,C2,f),(C1,C2,g))) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
(max (f,g)) . c is V11() V12() ext-real Element of REAL
(C2 . c) + ((max (f,g)) . c) is V11() V12() ext-real Element of REAL
(C2 . c) * ((max (f,g)) . c) is V11() V12() ext-real Element of REAL
((C2 . c) + ((max (f,g)) . c)) - ((C2 . c) * ((max (f,g)) . c)) is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
max ((f . c),(g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) + (max ((f . c),(g . c))) is V11() V12() ext-real Element of REAL
((C2 . c) + (max ((f . c),(g . c)))) - ((C2 . c) * ((max (f,g)) . c)) is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
(g . c) * ((1_minus C2) . c) is V11() V12() ext-real Element of REAL
(f . c) * ((1_minus C2) . c) is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
(f . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
(g . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
((g . c) * (1 - (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
(f . c) * 1 is V11() V12() ext-real Element of REAL
(f . c) * (C2 . c) is V11() V12() ext-real Element of REAL
((f . c) * 1) - ((f . c) * (C2 . c)) is V11() V12() ext-real Element of REAL
(((f . c) * 1) - ((f . c) * (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
(C2 . c) + (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (f . c)) - ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
(C2 . c) + (g . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (g . c)) - ((C2 . c) * (g . c)) is V11() V12() ext-real Element of REAL
max ((((C2 . c) + (f . c)) - ((C2 . c) * (f . c))),(((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) is V11() V12() ext-real Element of REAL
(C1,C2,f) . c is V11() V12() ext-real Element of REAL
max (((C1,C2,f) . c),(((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) is V11() V12() ext-real Element of REAL
(C1,C2,g) . c is V11() V12() ext-real Element of REAL
max (((C1,C2,f) . c),((C1,C2,g) . c)) is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
(f . c) * ((1_minus C2) . c) is V11() V12() ext-real Element of REAL
(g . c) * ((1_minus C2) . c) is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
(g . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
(f . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
((f . c) * (1 - (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
(g . c) * 1 is V11() V12() ext-real Element of REAL
(g . c) * (C2 . c) is V11() V12() ext-real Element of REAL
((g . c) * 1) - ((g . c) * (C2 . c)) is V11() V12() ext-real Element of REAL
(((g . c) * 1) - ((g . c) * (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
(C2 . c) + (g . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (g . c)) - ((C2 . c) * (g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) + (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (f . c)) - ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
max ((((C2 . c) + (f . c)) - ((C2 . c) * (f . c))),(((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) is V11() V12() ext-real Element of REAL
(C1,C2,f) . c is V11() V12() ext-real Element of REAL
max (((C1,C2,f) . c),(((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) is V11() V12() ext-real Element of REAL
(C1,C2,g) . c is V11() V12() ext-real Element of REAL
max (((C1,C2,f) . c),((C1,C2,g) . c)) is V11() V12() ext-real Element of REAL
dom (C1,C2,(max (f,g))) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,(min (f,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min ((C1,C2,f),(C1,C2,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
dom (min ((C1,C2,f),(C1,C2,g))) is Element of bool C1
bool C1 is non empty set
c is Element of C1
(C1,C2,(min (f,g))) . c is V11() V12() ext-real Element of REAL
(min ((C1,C2,f),(C1,C2,g))) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
(min (f,g)) . c is V11() V12() ext-real Element of REAL
(C2 . c) + ((min (f,g)) . c) is V11() V12() ext-real Element of REAL
(C2 . c) * ((min (f,g)) . c) is V11() V12() ext-real Element of REAL
((C2 . c) + ((min (f,g)) . c)) - ((C2 . c) * ((min (f,g)) . c)) is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
min ((f . c),(g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) + (min ((f . c),(g . c))) is V11() V12() ext-real Element of REAL
((C2 . c) + (min ((f . c),(g . c)))) - ((C2 . c) * ((min (f,g)) . c)) is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
(f . c) * ((1_minus C2) . c) is V11() V12() ext-real Element of REAL
(g . c) * ((1_minus C2) . c) is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
(f . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
(g . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
(f . c) * 1 is V11() V12() ext-real Element of REAL
(f . c) * (C2 . c) is V11() V12() ext-real Element of REAL
((f . c) * 1) - ((f . c) * (C2 . c)) is V11() V12() ext-real Element of REAL
(((f . c) * 1) - ((f . c) * (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
((g . c) * (1 - (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
(C2 . c) + (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (f . c)) - ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
(C2 . c) + (g . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (g . c)) - ((C2 . c) * (g . c)) is V11() V12() ext-real Element of REAL
min ((((C2 . c) + (f . c)) - ((C2 . c) * (f . c))),(((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) is V11() V12() ext-real Element of REAL
(C1,C2,f) . c is V11() V12() ext-real Element of REAL
min (((C1,C2,f) . c),(((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) is V11() V12() ext-real Element of REAL
(C1,C2,g) . c is V11() V12() ext-real Element of REAL
min (((C1,C2,f) . c),((C1,C2,g) . c)) is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
(g . c) * ((1_minus C2) . c) is V11() V12() ext-real Element of REAL
(f . c) * ((1_minus C2) . c) is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
(g . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
(f . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
(g . c) * 1 is V11() V12() ext-real Element of REAL
(g . c) * (C2 . c) is V11() V12() ext-real Element of REAL
((g . c) * 1) - ((g . c) * (C2 . c)) is V11() V12() ext-real Element of REAL
(((g . c) * 1) - ((g . c) * (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
((f . c) * (1 - (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
(C2 . c) + (g . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (g . c)) - ((C2 . c) * (g . c)) is V11() V12() ext-real Element of REAL
(C2 . c) + (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (f . c)) - ((C2 . c) * (f . c)) is V11() V12() ext-real Element of REAL
min ((((C2 . c) + (f . c)) - ((C2 . c) * (f . c))),(((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) is V11() V12() ext-real Element of REAL
(C1,C2,f) . c is V11() V12() ext-real Element of REAL
min (((C1,C2,f) . c),(((C2 . c) + (g . c)) - ((C2 . c) * (g . c)))) is V11() V12() ext-real Element of REAL
(C1,C2,g) . c is V11() V12() ext-real Element of REAL
min (((C1,C2,f) . c),((C1,C2,g) . c)) is V11() V12() ext-real Element of REAL
dom (C1,C2,(min (f,g))) is Element of bool C1
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(max (C2,f)),(max (C2,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is Element of C1
(C1,(max (C2,f)),(max (C2,g))) . c is V11() V12() ext-real Element of REAL
(max (C2,(C1,f,g))) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
max ((C2 . c),(f . c)) is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
max ((C2 . c),(g . c)) is V11() V12() ext-real Element of REAL
(max ((C2 . c),(f . c))) * (max ((C2 . c),(g . c))) is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
max ((C2 . c),((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(C1,C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,C2) . c is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
max ((C2 . c),((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
(C2 . c) * 1 is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
max ((C2 . c),((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * 1 is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
max ((C2 . c),((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(max (C2,f)) . c is V11() V12() ext-real Element of REAL
(max (C2,g)) . c is V11() V12() ext-real Element of REAL
((max (C2,f)) . c) * ((max (C2,g)) . c) is V11() V12() ext-real Element of REAL
(max ((C2 . c),(f . c))) * ((max (C2,g)) . c) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(min (C2,f)),(min (C2,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is Element of C1
(C1,(min (C2,f)),(min (C2,g))) . c is V11() V12() ext-real Element of REAL
(min (C2,(C1,f,g))) . c is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
min ((C2 . c),(f . c)) is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
min ((C2 . c),(g . c)) is V11() V12() ext-real Element of REAL
(min ((C2 . c),(f . c))) * (min ((C2 . c),(g . c))) is V11() V12() ext-real Element of REAL
(f . c) * (C2 . c) is V11() V12() ext-real Element of REAL
(g . c) * (f . c) is V11() V12() ext-real Element of REAL
(C1,C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,C2) . c is V11() V12() ext-real Element of REAL
(C2 . c) * (C2 . c) is V11() V12() ext-real Element of REAL
(f . c) * (g . c) is V11() V12() ext-real Element of REAL
min (((C1,C2,C2) . c),((C2 . c) * (C2 . c))) is V11() V12() ext-real Element of REAL
min ((C2 . c),((f . c) * (g . c))) is V11() V12() ext-real Element of REAL
min (((C2 . c) * (C2 . c)),((C2 . c) * (C2 . c))) is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
min ((C2 . c),((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (g . c) is V11() V12() ext-real Element of REAL
(f . c) * (g . c) is V11() V12() ext-real Element of REAL
(C2 . c) * 1 is V11() V12() ext-real Element of REAL
min ((C2 . c),((f . c) * (g . c))) is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
min ((C2 . c),((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
(g . c) * (f . c) is V11() V12() ext-real Element of REAL
(f . c) * (C2 . c) is V11() V12() ext-real Element of REAL
(C2 . c) * 1 is V11() V12() ext-real Element of REAL
min ((C2 . c),((g . c) * (f . c))) is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
min ((C2 . c),((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(f . c) * (C2 . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (C2 . c) is V11() V12() ext-real Element of REAL
(C1,C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,C2) . c is V11() V12() ext-real Element of REAL
(g . c) * (f . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (f . c) is V11() V12() ext-real Element of REAL
min ((C2 . c),((g . c) * (f . c))) is V11() V12() ext-real Element of REAL
(f . c) * (g . c) is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
min ((C2 . c),((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
(min (C2,f)) . c is V11() V12() ext-real Element of REAL
(min (C2,g)) . c is V11() V12() ext-real Element of REAL
((min (C2,f)) . c) * ((min (C2,g)) . c) is V11() V12() ext-real Element of REAL
(min ((C2 . c),(f . c))) * ((min (C2,g)) . c) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is Element of C1
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) . C2 is V11() V12() ext-real Element of REAL
f . C2 is V11() V12() ext-real Element of REAL
1 - (f . C2) is V11() V12() ext-real Element of REAL
g . C2 is V11() V12() ext-real Element of REAL
1 - (g . C2) is V11() V12() ext-real Element of REAL
(1 - (f . C2)) * (1 - (g . C2)) is V11() V12() ext-real Element of REAL
1 - ((1 - (f . C2)) * (1 - (g . C2))) is V11() V12() ext-real Element of REAL
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(1_minus f),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
1_minus (C1,(1_minus f),(1_minus g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus (C1,(1_minus f),(1_minus g))) . C2 is V11() V12() ext-real Element of REAL
(C1,(1_minus f),(1_minus g)) . C2 is V11() V12() ext-real Element of REAL
1 - ((C1,(1_minus f),(1_minus g)) . C2) is V11() V12() ext-real Element of REAL
(1_minus f) . C2 is V11() V12() ext-real Element of REAL
(1_minus g) . C2 is V11() V12() ext-real Element of REAL
((1_minus f) . C2) * ((1_minus g) . C2) is V11() V12() ext-real Element of REAL
1 - (((1_minus f) . C2) * ((1_minus g) . C2)) is V11() V12() ext-real Element of REAL
(1 - (f . C2)) * ((1_minus g) . C2) is V11() V12() ext-real Element of REAL
1 - ((1 - (f . C2)) * ((1_minus g) . C2)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
max (C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(max (C2,f)),(max (C2,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is Element of C1
(max (C2,(C1,f,g))) . c is V11() V12() ext-real Element of REAL
(C1,(max (C2,f)),(max (C2,g))) . c is V11() V12() ext-real Element of REAL
(max (C2,f)) . c is V11() V12() ext-real Element of REAL
(max (C2,g)) . c is V11() V12() ext-real Element of REAL
((max (C2,f)) . c) + ((max (C2,g)) . c) is V11() V12() ext-real Element of REAL
((max (C2,f)) . c) * ((max (C2,g)) . c) is V11() V12() ext-real Element of REAL
(((max (C2,f)) . c) + ((max (C2,g)) . c)) - (((max (C2,f)) . c) * ((max (C2,g)) . c)) is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
max ((C2 . c),(f . c)) is V11() V12() ext-real Element of REAL
(max ((C2 . c),(f . c))) + ((max (C2,g)) . c) is V11() V12() ext-real Element of REAL
((max ((C2 . c),(f . c))) + ((max (C2,g)) . c)) - (((max (C2,f)) . c) * ((max (C2,g)) . c)) is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
max ((C2 . c),(g . c)) is V11() V12() ext-real Element of REAL
(max ((C2 . c),(f . c))) + (max ((C2 . c),(g . c))) is V11() V12() ext-real Element of REAL
((max ((C2 . c),(f . c))) + (max ((C2 . c),(g . c)))) - (((max (C2,f)) . c) * ((max (C2,g)) . c)) is V11() V12() ext-real Element of REAL
(max ((C2 . c),(f . c))) * ((max (C2,g)) . c) is V11() V12() ext-real Element of REAL
((max ((C2 . c),(f . c))) + (max ((C2 . c),(g . c)))) - ((max ((C2 . c),(f . c))) * ((max (C2,g)) . c)) is V11() V12() ext-real Element of REAL
(max ((C2 . c),(f . c))) * (max ((C2 . c),(g . c))) is V11() V12() ext-real Element of REAL
((max ((C2 . c),(f . c))) + (max ((C2 . c),(g . c)))) - ((max ((C2 . c),(f . c))) * (max ((C2 . c),(g . c)))) is V11() V12() ext-real Element of REAL
1 - (f . c) is V11() V12() ext-real Element of REAL
1 - (g . c) is V11() V12() ext-real Element of REAL
(1 - (f . c)) * (1 - (g . c)) is V11() V12() ext-real Element of REAL
1 - ((1 - (f . c)) * (1 - (g . c))) is V11() V12() ext-real Element of REAL
max ((C2 . c),(1 - ((1 - (f . c)) * (1 - (g . c))))) is V11() V12() ext-real Element of REAL
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus f) . c is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
(1 - (f . c)) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
(C1,C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,C2) . c is V11() V12() ext-real Element of REAL
(C2 . c) + (C2 . c) is V11() V12() ext-real Element of REAL
(C2 . c) * (C2 . c) is V11() V12() ext-real Element of REAL
((C2 . c) + (C2 . c)) - ((C2 . c) * (C2 . c)) is V11() V12() ext-real Element of REAL
(1 - (C2 . c)) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
1 - ((1 - (C2 . c)) * (1 - (C2 . c))) is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
0 * (g . c) is V11() V12() ext-real Element of REAL
(g . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
0 + (C2 . c) is V11() V12() ext-real Element of REAL
((g . c) * (1 - (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
1_minus g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus g) . c is V11() V12() ext-real Element of REAL
(1 - (C2 . c)) * (1 - (g . c)) is V11() V12() ext-real Element of REAL
1 - ((1 - (C2 . c)) * (1 - (g . c))) is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
0 * (f . c) is V11() V12() ext-real Element of REAL
(f . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
0 + (C2 . c) is V11() V12() ext-real Element of REAL
((f . c) * (1 - (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus f) . c is V11() V12() ext-real Element of REAL
(1 - (C2 . c)) * (1 - (f . c)) is V11() V12() ext-real Element of REAL
(1 - (g . c)) * (1 - (f . c)) is V11() V12() ext-real Element of REAL
1 - ((1 - (g . c)) * (1 - (f . c))) is V11() V12() ext-real Element of REAL
1 - ((1 - (C2 . c)) * (1 - (f . c))) is V11() V12() ext-real Element of REAL
1_minus f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus f) . c is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
(1 - (f . c)) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
(1 - (C2 . c)) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
1 - ((1 - (C2 . c)) * (1 - (C2 . c))) is V11() V12() ext-real Element of REAL
(C1,C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,C2) . c is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
max ((C2 . c),((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
f is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,f) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
g is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,f,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,(C1,f,g)) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
min (C2,g) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,(min (C2,f)),(min (C2,g))) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
c is Element of C1
(min (C2,(C1,f,g))) . c is V11() V12() ext-real Element of REAL
(C1,(min (C2,f)),(min (C2,g))) . c is V11() V12() ext-real Element of REAL
(min (C2,f)) . c is V11() V12() ext-real Element of REAL
(min (C2,g)) . c is V11() V12() ext-real Element of REAL
((min (C2,f)) . c) + ((min (C2,g)) . c) is V11() V12() ext-real Element of REAL
((min (C2,f)) . c) * ((min (C2,g)) . c) is V11() V12() ext-real Element of REAL
(((min (C2,f)) . c) + ((min (C2,g)) . c)) - (((min (C2,f)) . c) * ((min (C2,g)) . c)) is V11() V12() ext-real Element of REAL
C2 . c is V11() V12() ext-real Element of REAL
f . c is V11() V12() ext-real Element of REAL
min ((C2 . c),(f . c)) is V11() V12() ext-real Element of REAL
(min ((C2 . c),(f . c))) + ((min (C2,g)) . c) is V11() V12() ext-real Element of REAL
((min ((C2 . c),(f . c))) + ((min (C2,g)) . c)) - (((min (C2,f)) . c) * ((min (C2,g)) . c)) is V11() V12() ext-real Element of REAL
g . c is V11() V12() ext-real Element of REAL
min ((C2 . c),(g . c)) is V11() V12() ext-real Element of REAL
(min ((C2 . c),(f . c))) + (min ((C2 . c),(g . c))) is V11() V12() ext-real Element of REAL
((min ((C2 . c),(f . c))) + (min ((C2 . c),(g . c)))) - (((min (C2,f)) . c) * ((min (C2,g)) . c)) is V11() V12() ext-real Element of REAL
(min ((C2 . c),(f . c))) * ((min (C2,g)) . c) is V11() V12() ext-real Element of REAL
((min ((C2 . c),(f . c))) + (min ((C2 . c),(g . c)))) - ((min ((C2 . c),(f . c))) * ((min (C2,g)) . c)) is V11() V12() ext-real Element of REAL
(min ((C2 . c),(f . c))) * (min ((C2 . c),(g . c))) is V11() V12() ext-real Element of REAL
((min ((C2 . c),(f . c))) + (min ((C2 . c),(g . c)))) - ((min ((C2 . c),(f . c))) * (min ((C2 . c),(g . c)))) is V11() V12() ext-real Element of REAL
1 - (f . c) is V11() V12() ext-real Element of REAL
1 - (g . c) is V11() V12() ext-real Element of REAL
(1 - (f . c)) * (1 - (g . c)) is V11() V12() ext-real Element of REAL
1 - ((1 - (f . c)) * (1 - (g . c))) is V11() V12() ext-real Element of REAL
min ((C2 . c),(1 - ((1 - (f . c)) * (1 - (g . c))))) is V11() V12() ext-real Element of REAL
(C1,C2,C2) is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(C1,C2,C2) . c is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
0 * (g . c) is V11() V12() ext-real Element of REAL
(g . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
0 + (C2 . c) is V11() V12() ext-real Element of REAL
((g . c) * (1 - (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
1_minus C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
(1_minus C2) . c is V11() V12() ext-real Element of REAL
1 - (C2 . c) is V11() V12() ext-real Element of REAL
0 * (f . c) is V11() V12() ext-real Element of REAL
(f . c) * (1 - (C2 . c)) is V11() V12() ext-real Element of REAL
0 + (C2 . c) is V11() V12() ext-real Element of REAL
((f . c) * (1 - (C2 . c))) + (C2 . c) is V11() V12() ext-real Element of REAL
(C1,f,g) . c is V11() V12() ext-real Element of REAL
min ((C2 . c),((C1,f,g) . c)) is V11() V12() ext-real Element of REAL
C1 is non empty set
[:C1,REAL:] is non empty V33() V34() V35() set
bool [:C1,REAL:] is non empty set
C2 is V16() V19(C1) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:C1,REAL:]
C1 is non empty set
C2 is non empty set
[:C1,C2:] is non empty set
chi ({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20({{},1}) V21() quasi_total Element of bool [:[:C1,C2:],{{},1}:]
[:[:C1,C2:],{{},1}:] is non empty set
bool [:[:C1,C2:],{{},1}:] is non empty set
[:[:C1,C2:],REAL:] is non empty V33() V34() V35() set
bool [:[:C1,C2:],REAL:] is non empty set
chi ([:C1,C2:],[:C1,C2:]) is V16() V19([:C1,C2:]) V20({{},1}) V21() quasi_total Element of bool [:[:C1,C2:],{{},1}:]
C1 is non empty set
C2 is non empty set
[:C1,C2:] is non empty set
[:[:C1,C2:],REAL:] is non empty V33() V34() V35() set
bool [:[:C1,C2:],REAL:] is non empty set
(C1,C2) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
chi ({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20({{},1}) V21() quasi_total Element of bool [:[:C1,C2:],{{},1}:]
[:[:C1,C2:],{{},1}:] is non empty set
bool [:[:C1,C2:],{{},1}:] is non empty set
(C1,C2) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
chi ([:C1,C2:],[:C1,C2:]) is V16() V19([:C1,C2:]) V20({{},1}) V21() quasi_total Element of bool [:[:C1,C2:],{{},1}:]
UMF [:C1,C2:] is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
K159([:C1,C2:],[:C1,C2:]) is V16() V19([:C1,C2:]) V20( REAL ) V21() V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
EMF [:C1,C2:] is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
K159({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20( REAL ) V21() V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
f is Element of [:C1,C2:]
(C1,C2) . f is V11() V12() ext-real Element of REAL
g is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
g . f is V11() V12() ext-real Element of REAL
x is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
c is Element of [:C1,C2:]
x . c is V11() V12() ext-real Element of REAL
(C1,C2) . c is V11() V12() ext-real Element of REAL
C1 is non empty set
C2 is non empty set
[:C1,C2:] is non empty set
[:[:C1,C2:],REAL:] is non empty V33() V34() V35() set
bool [:[:C1,C2:],REAL:] is non empty set
(C1,C2) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
chi ([:C1,C2:],[:C1,C2:]) is V16() V19([:C1,C2:]) V20({{},1}) V21() quasi_total Element of bool [:[:C1,C2:],{{},1}:]
[:[:C1,C2:],{{},1}:] is non empty set
bool [:[:C1,C2:],{{},1}:] is non empty set
(C1,C2) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
chi ({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20({{},1}) V21() quasi_total Element of bool [:[:C1,C2:],{{},1}:]
f is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
max (f,(C1,C2)) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
min (f,(C1,C2)) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
max (f,(C1,C2)) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
min (f,(C1,C2)) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
UMF [:C1,C2:] is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
K159([:C1,C2:],[:C1,C2:]) is V16() V19([:C1,C2:]) V20( REAL ) V21() V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
EMF [:C1,C2:] is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
K159({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20( REAL ) V21() V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
C1 is non empty set
C2 is non empty set
[:C1,C2:] is non empty set
(C1,C2) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
[:[:C1,C2:],REAL:] is non empty V33() V34() V35() set
bool [:[:C1,C2:],REAL:] is non empty set
chi ({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20({{},1}) V21() quasi_total Element of bool [:[:C1,C2:],{{},1}:]
[:[:C1,C2:],{{},1}:] is non empty set
bool [:[:C1,C2:],{{},1}:] is non empty set
1_minus (C1,C2) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
(C1,C2) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
chi ([:C1,C2:],[:C1,C2:]) is V16() V19([:C1,C2:]) V20({{},1}) V21() quasi_total Element of bool [:[:C1,C2:],{{},1}:]
1_minus (C1,C2) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
UMF [:C1,C2:] is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
K159([:C1,C2:],[:C1,C2:]) is V16() V19([:C1,C2:]) V20( REAL ) V21() V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
EMF [:C1,C2:] is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
K159({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20( REAL ) V21() V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
C1 is non empty set
C2 is non empty set
[:C1,C2:] is non empty set
[:[:C1,C2:],REAL:] is non empty V33() V34() V35() set
bool [:[:C1,C2:],REAL:] is non empty set
(C1,C2) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
chi ({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20({{},1}) V21() quasi_total Element of bool [:[:C1,C2:],{{},1}:]
[:[:C1,C2:],{{},1}:] is non empty set
bool [:[:C1,C2:],{{},1}:] is non empty set
f is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
g is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
([:C1,C2:],f,g) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
1_minus g is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
min (f,(1_minus g)) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
EMF [:C1,C2:] is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
K159({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20( REAL ) V21() V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
C1 is non empty set
C2 is non empty set
[:C1,C2:] is non empty set
[:[:C1,C2:],REAL:] is non empty V33() V34() V35() set
bool [:[:C1,C2:],REAL:] is non empty set
(C1,C2) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
chi ({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20({{},1}) V21() quasi_total Element of bool [:[:C1,C2:],{{},1}:]
[:[:C1,C2:],{{},1}:] is non empty set
bool [:[:C1,C2:],{{},1}:] is non empty set
f is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
g is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
min (f,g) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
([:C1,C2:],f,g) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
1_minus g is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
min (f,(1_minus g)) is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
EMF [:C1,C2:] is V16() V19([:C1,C2:]) V20( REAL ) V20([.0,1.]) V21() quasi_total V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]
K159({},[:C1,C2:]) is V16() V19([:C1,C2:]) V20( REAL ) V21() V33() V34() V35() Element of bool [:[:C1,C2:],REAL:]