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