:: ALGSTR_0 semantic presentation

K92() is non empty V24() V25() V26() V31() cardinal limit_cardinal set
bool K92() is V31() set
1 is non empty V24() V25() V26() V30() V31() cardinal Element of K92()
[:1,1:] is set
bool [:1,1:] is set
[:[:1,1:],1:] is set
bool [:[:1,1:],1:] is set
{} is set
is non empty trivial 1 -element set
c1 is non empty set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
(c1,b) is () ()
c1 is trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
(c1,b) is () ()
c1 is non empty non trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
(c1,b) is non empty () ()
c1 is ()
the carrier of c1 is set
the of c1 is V6() V18([: the carrier of c1, the carrier of c1:], the carrier of c1) Element of bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:]
[: the carrier of c1, the carrier of c1:] is set
[:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
b is Element of the carrier of c1
b1 is Element of the carrier of c1
the of c1 . (b,b1) is Element of the carrier of c1
op2 is V6() V18([:1,1:],1) Element of bool [:[:1,1:],1:]
(1,op2) is non empty () ()
() is ()
c1 is ()
the carrier of c1 is set
c1 is ()
the carrier of c1 is set
c1 is ()
the carrier of c1 is set
b is Element of the carrier of c1
b is Element of the carrier of c1
c1 is ()
c1 is ()
the carrier of () is non empty trivial V31() 1 -element set
b1 is Element of the carrier of ()
b is Element of the carrier of ()
((),b1,b) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b1,b) is Element of the carrier of ()
m is Element of the carrier of ()
((),m,b) is Element of the carrier of ()
the of () . (m,b) is Element of the carrier of ()
the carrier of () is non empty trivial V31() 1 -element set
b is Element of the carrier of ()
b1 is Element of the carrier of ()
((),b,b1) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b1) is Element of the carrier of ()
m is Element of the carrier of ()
((),b,m) is Element of the carrier of ()
the of () . (b,m) is Element of the carrier of ()
c1 is () ()
the carrier of c1 is set
b is Element of the carrier of c1
c1 is () ()
the carrier of c1 is set
b is Element of the carrier of c1
c1 is non empty set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is Element of c1
(c1,b,b1) is () ()
c1 is trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is Element of c1
(c1,b,b1) is () ()
c1 is non empty non trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is Element of c1
(c1,b,b1) is non empty () ()
op0 is V24() V25() V26() Element of 1
(1,op2,op0) is non empty () ()
() is ()
c1 is ()
the carrier of c1 is set
c1 is ()
the carrier of c1 is set
c1 is ()
the carrier of c1 is set
b is Element of the carrier of c1
b is Element of the carrier of c1
c1 is ()
the carrier of c1 is set
b is Element of the carrier of c1
0. c1 is V47(c1) Element of the carrier of c1
the ZeroF of c1 is Element of the carrier of c1
b1 is Element of the carrier of c1
(c1,b1,b) is Element of the carrier of c1
the of c1 is V6() V18([: the carrier of c1, the carrier of c1:], the carrier of c1) Element of bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:]
[: the carrier of c1, the carrier of c1:] is set
[:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
the of c1 . (b1,b) is Element of the carrier of c1
m is Element of the carrier of c1
(c1,m,b) is Element of the carrier of c1
the of c1 . (m,b) is Element of the carrier of c1
c1 is ()
the carrier of c1 is set
b is Element of the carrier of c1
b1 is Element of the carrier of c1
(c1,b1) is Element of the carrier of c1
(c1,b,(c1,b1)) is Element of the carrier of c1
the of c1 is V6() V18([: the carrier of c1, the carrier of c1:], the carrier of c1) Element of bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:]
[: the carrier of c1, the carrier of c1:] is set
[:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
the of c1 . (b,(c1,b1)) is Element of the carrier of c1
the carrier of () is non empty trivial V31() 1 -element set
b1 is Element of the carrier of ()
b is Element of the carrier of ()
((),b1,b) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b1,b) is Element of the carrier of ()
m is Element of the carrier of ()
((),m,b) is Element of the carrier of ()
the of () . (m,b) is Element of the carrier of ()
the carrier of () is non empty trivial V31() 1 -element set
b is Element of the carrier of ()
b1 is Element of the carrier of ()
((),b,b1) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b1) is Element of the carrier of ()
m is Element of the carrier of ()
((),b,m) is Element of the carrier of ()
the of () . (b,m) is Element of the carrier of ()
c1 is ()
c1 is ()
the carrier of () is non empty trivial V31() 1 -element set
b is (()) (()) (()) Element of the carrier of ()
((),b,b) is (()) (()) (()) Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b) is (()) (()) (()) Element of the carrier of ()
0. () is V47(()) (()) (()) (()) Element of the carrier of ()
the ZeroF of () is (()) (()) (()) Element of the carrier of ()
the carrier of () is non empty trivial V31() 1 -element set
b is (()) (()) (()) Element of the carrier of ()
((),b,b) is (()) (()) (()) Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b) is (()) (()) (()) Element of the carrier of ()
0. () is V47(()) (()) (()) (()) Element of the carrier of ()
the ZeroF of () is (()) (()) (()) Element of the carrier of ()
c1 is () ()
the carrier of c1 is set
b is Element of the carrier of c1
c1 is () ()
the carrier of c1 is set
b is Element of the carrier of c1
c1 is non empty set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
(c1,b) is () ()
c1 is trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
(c1,b) is () ()
c1 is non empty non trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
(c1,b) is non empty () ()
c1 is ()
the carrier of c1 is set
the of c1 is V6() V18([: the carrier of c1, the carrier of c1:], the carrier of c1) Element of bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:]
[: the carrier of c1, the carrier of c1:] is set
[:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
b is Element of the carrier of c1
b1 is Element of the carrier of c1
the of c1 . (b,b1) is Element of the carrier of c1
(1,op2) is non empty () ()
() is ()
c1 is ()
the carrier of c1 is set
c1 is ()
the carrier of c1 is set
c1 is ()
the carrier of c1 is set
b is Element of the carrier of c1
b is Element of the carrier of c1
c1 is ()
c1 is ()
the carrier of () is non empty trivial V31() 1 -element set
b is Element of the carrier of ()
b1 is Element of the carrier of ()
((),b,b1) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b1) is Element of the carrier of ()
m is Element of the carrier of ()
((),b,m) is Element of the carrier of ()
the of () . (b,m) is Element of the carrier of ()
the carrier of () is non empty trivial V31() 1 -element set
b1 is Element of the carrier of ()
b is Element of the carrier of ()
((),b1,b) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b1,b) is Element of the carrier of ()
m is Element of the carrier of ()
((),m,b) is Element of the carrier of ()
the of () . (m,b) is Element of the carrier of ()
c1 is () ()
the carrier of c1 is set
b is Element of the carrier of c1
c1 is () ()
the carrier of c1 is set
b is Element of the carrier of c1
c1 is non empty set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is Element of c1
(c1,b,b1) is () ()
c1 is trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is Element of c1
(c1,b,b1) is () ()
c1 is non empty non trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is Element of c1
(c1,b,b1) is non empty () ()
(1,op2,op0) is non empty () ()
() is ()
the carrier of () is non empty trivial V31() 1 -element set
b is Element of the carrier of ()
b1 is Element of the carrier of ()
((),b,b1) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b1) is Element of the carrier of ()
m is Element of the carrier of ()
((),b,m) is Element of the carrier of ()
the of () . (b,m) is Element of the carrier of ()
the carrier of () is non empty trivial V31() 1 -element set
b1 is Element of the carrier of ()
b is Element of the carrier of ()
((),b1,b) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b1,b) is Element of the carrier of ()
m is Element of the carrier of ()
((),m,b) is Element of the carrier of ()
the of () . (m,b) is Element of the carrier of ()
c1 is ()
the carrier of c1 is set
c1 is ()
the carrier of c1 is set
c1 is ()
the carrier of c1 is set
b is Element of the carrier of c1
b is Element of the carrier of c1
c1 is ()
the carrier of c1 is set
b is Element of the carrier of c1
1. c1 is Element of the carrier of c1
the OneF of c1 is Element of the carrier of c1
b1 is Element of the carrier of c1
(c1,b1,b) is Element of the carrier of c1
the of c1 is V6() V18([: the carrier of c1, the carrier of c1:], the carrier of c1) Element of bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:]
[: the carrier of c1, the carrier of c1:] is set
[:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
the of c1 . (b1,b) is Element of the carrier of c1
m is Element of the carrier of c1
(c1,m,b) is Element of the carrier of c1
the of c1 . (m,b) is Element of the carrier of c1
c1 is ()
c1 is ()
the carrier of () is non empty trivial V31() 1 -element set
b is (()) (()) (()) Element of the carrier of ()
((),b,b) is (()) (()) (()) Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b) is (()) (()) (()) Element of the carrier of ()
1. () is (()) (()) (()) Element of the carrier of ()
the OneF of () is (()) (()) (()) Element of the carrier of ()
the carrier of () is non empty trivial V31() 1 -element set
b is (()) (()) (()) Element of the carrier of ()
((),b,b) is (()) (()) (()) Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b) is (()) (()) (()) Element of the carrier of ()
1. () is (()) (()) (()) Element of the carrier of ()
the OneF of () is (()) (()) (()) Element of the carrier of ()
c1 is () ()
the carrier of c1 is set
b is Element of the carrier of c1
c1 is () ()
the carrier of c1 is set
b is Element of the carrier of c1
c1 is non empty set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is Element of c1
m is Element of c1
(c1,b,b1,m) is () ()
c1 is trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is Element of c1
m is Element of c1
(c1,b,b1,m) is () ()
c1 is non empty non trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is Element of c1
m is Element of c1
(c1,b,b1,m) is non empty () ()
(1,op2,op0,op0) is non empty () ()
() is ()
c1 is ()
the carrier of c1 is set
b is Element of the carrier of c1
1. c1 is Element of the carrier of c1
the OneF of c1 is Element of the carrier of c1
0. c1 is V47(c1) Element of the carrier of c1
the ZeroF of c1 is Element of the carrier of c1
b1 is Element of the carrier of c1
(c1,b1,b) is Element of the carrier of c1
the of c1 is V6() V18([: the carrier of c1, the carrier of c1:], the carrier of c1) Element of bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:]
[: the carrier of c1, the carrier of c1:] is set
[:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
bool [:[: the carrier of c1, the carrier of c1:], the carrier of c1:] is set
the of c1 . (b1,b) is Element of the carrier of c1
m is Element of the carrier of c1
(c1,m,b) is Element of the carrier of c1
the of c1 . (m,b) is Element of the carrier of c1
n is Element of the carrier of c1
c6 is Element of the carrier of c1
c1 is ()
c1 is ()
the carrier of () is non empty trivial V31() 1 -element set
b is Element of the carrier of ()
0. () is V47(()) Element of the carrier of ()
the ZeroF of () is Element of the carrier of ()
b1 is Element of the carrier of ()
((),b,b1) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b1) is Element of the carrier of ()
m is Element of the carrier of ()
((),b,m) is Element of the carrier of ()
the of () . (b,m) is Element of the carrier of ()
the carrier of () is non empty trivial V31() 1 -element set
b is Element of the carrier of ()
0. () is V47(()) Element of the carrier of ()
the ZeroF of () is Element of the carrier of ()
b1 is Element of the carrier of ()
((),b1,b) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b1,b) is Element of the carrier of ()
m is Element of the carrier of ()
((),m,b) is Element of the carrier of ()
the of () . (m,b) is Element of the carrier of ()
c1 is ()
c1 is ()
the carrier of () is non empty trivial V31() 1 -element set
b is Element of the carrier of ()
0. () is V47(()) Element of the carrier of ()
the ZeroF of () is Element of the carrier of ()
((),b,b) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b) is Element of the carrier of ()
1. () is Element of the carrier of ()
the OneF of () is Element of the carrier of ()
the carrier of () is non empty trivial V31() 1 -element set
b is Element of the carrier of ()
0. () is V47(()) Element of the carrier of ()
the ZeroF of () is Element of the carrier of ()
((),b,b) is Element of the carrier of ()
the of () is V6() V18([: the carrier of (), the carrier of ():], the carrier of ()) Element of bool [:[: the carrier of (), the carrier of ():], the carrier of ():]
[: the carrier of (), the carrier of ():] is set
[:[: the carrier of (), the carrier of ():], the carrier of ():] is set
bool [:[: the carrier of (), the carrier of ():], the carrier of ():] is set
the of () . (b,b) is Element of the carrier of ()
1. () is Element of the carrier of ()
the OneF of () is Element of the carrier of ()
c1 is non empty set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
m is Element of c1
n is Element of c1
(c1,b,b1,m,n) is () ()
c1 is trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
m is Element of c1
n is Element of c1
(c1,b,b1,m,n) is () ()
c1 is non empty non trivial set
[:c1,c1:] is set
[:[:c1,c1:],c1:] is set
bool [:[:c1,c1:],c1:] is set
b is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
b1 is V6() V18([:c1,c1:],c1) Element of bool [:[:c1,c1:],c1:]
m is Element of c1
n is Element of c1
(c1,b,b1,m,n) is non empty () ()
(1,op2,op2,op0,op0) is non empty () ()
() is ()