:: 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
c₁ is non empty set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
(c₁,b) is () ()
c₁ is trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
(c₁,b) is () ()
c₁ is non empty non trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
(c₁,b) is non empty () ()
c₁ is ()
the carrier of c₁ is set
the of c₁ is V6() V18([: the carrier of c₁, the carrier of c₁:], the carrier of c₁) Element of bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:]
[: the carrier of c₁, the carrier of c₁:] is set
[:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
b is Element of the carrier of c₁
b1 is Element of the carrier of c₁
the of c₁ . (b,b1) is Element of the carrier of c₁
op2 is V6() V18([:1,1:],1) Element of bool [:[:1,1:],1:]
(1,op2) is non empty () ()
() is ()
c₁ is ()
the carrier of c₁ is set
c₁ is ()
the carrier of c₁ is set
c₁ is ()
the carrier of c₁ is set
b is Element of the carrier of c₁
b is Element of the carrier of c₁
c₁ is ()
c₁ 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 ()
c₁ is () ()
the carrier of c₁ is set
b is Element of the carrier of c₁
c₁ is () ()
the carrier of c₁ is set
b is Element of the carrier of c₁
c₁ is non empty set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is Element of c₁
(c₁,b,b1) is () ()
c₁ is trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is Element of c₁
(c₁,b,b1) is () ()
c₁ is non empty non trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is Element of c₁
(c₁,b,b1) is non empty () ()
op0 is V24() V25() V26() Element of 1
(1,op2,op0) is non empty () ()
() is ()
c₁ is ()
the carrier of c₁ is set
c₁ is ()
the carrier of c₁ is set
c₁ is ()
the carrier of c₁ is set
b is Element of the carrier of c₁
b is Element of the carrier of c₁
c₁ is ()
the carrier of c₁ is set
b is Element of the carrier of c₁
0. c₁ is V47(c₁) Element of the carrier of c₁
the ZeroF of c₁ is Element of the carrier of c₁
b1 is Element of the carrier of c₁
(c₁,b1,b) is Element of the carrier of c₁
the of c₁ is V6() V18([: the carrier of c₁, the carrier of c₁:], the carrier of c₁) Element of bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:]
[: the carrier of c₁, the carrier of c₁:] is set
[:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
the of c₁ . (b1,b) is Element of the carrier of c₁
m is Element of the carrier of c₁
(c₁,m,b) is Element of the carrier of c₁
the of c₁ . (m,b) is Element of the carrier of c₁
c₁ is ()
the carrier of c₁ is set
b is Element of the carrier of c₁
b1 is Element of the carrier of c₁
(c₁,b1) is Element of the carrier of c₁
(c₁,b,(c₁,b1)) is Element of the carrier of c₁
the of c₁ is V6() V18([: the carrier of c₁, the carrier of c₁:], the carrier of c₁) Element of bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:]
[: the carrier of c₁, the carrier of c₁:] is set
[:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
the of c₁ . (b,(c₁,b1)) is Element of the carrier of c₁
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 ()
c₁ is ()
c₁ 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 ()
c₁ is () ()
the carrier of c₁ is set
b is Element of the carrier of c₁
c₁ is () ()
the carrier of c₁ is set
b is Element of the carrier of c₁
c₁ is non empty set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
(c₁,b) is () ()
c₁ is trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
(c₁,b) is () ()
c₁ is non empty non trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
(c₁,b) is non empty () ()
c₁ is ()
the carrier of c₁ is set
the of c₁ is V6() V18([: the carrier of c₁, the carrier of c₁:], the carrier of c₁) Element of bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:]
[: the carrier of c₁, the carrier of c₁:] is set
[:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
b is Element of the carrier of c₁
b1 is Element of the carrier of c₁
the of c₁ . (b,b1) is Element of the carrier of c₁
(1,op2) is non empty () ()
() is ()
c₁ is ()
the carrier of c₁ is set
c₁ is ()
the carrier of c₁ is set
c₁ is ()
the carrier of c₁ is set
b is Element of the carrier of c₁
b is Element of the carrier of c₁
c₁ is ()
c₁ 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 ()
c₁ is () ()
the carrier of c₁ is set
b is Element of the carrier of c₁
c₁ is () ()
the carrier of c₁ is set
b is Element of the carrier of c₁
c₁ is non empty set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is Element of c₁
(c₁,b,b1) is () ()
c₁ is trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is Element of c₁
(c₁,b,b1) is () ()
c₁ is non empty non trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is Element of c₁
(c₁,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 ()
c₁ is ()
the carrier of c₁ is set
c₁ is ()
the carrier of c₁ is set
c₁ is ()
the carrier of c₁ is set
b is Element of the carrier of c₁
b is Element of the carrier of c₁
c₁ is ()
the carrier of c₁ is set
b is Element of the carrier of c₁
1. c₁ is Element of the carrier of c₁
the OneF of c₁ is Element of the carrier of c₁
b1 is Element of the carrier of c₁
(c₁,b1,b) is Element of the carrier of c₁
the of c₁ is V6() V18([: the carrier of c₁, the carrier of c₁:], the carrier of c₁) Element of bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:]
[: the carrier of c₁, the carrier of c₁:] is set
[:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
the of c₁ . (b1,b) is Element of the carrier of c₁
m is Element of the carrier of c₁
(c₁,m,b) is Element of the carrier of c₁
the of c₁ . (m,b) is Element of the carrier of c₁
c₁ is ()
c₁ 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 ()
c₁ is () ()
the carrier of c₁ is set
b is Element of the carrier of c₁
c₁ is () ()
the carrier of c₁ is set
b is Element of the carrier of c₁
c₁ is non empty set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is Element of c₁
m is Element of c₁
(c₁,b,b1,m) is () ()
c₁ is trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is Element of c₁
m is Element of c₁
(c₁,b,b1,m) is () ()
c₁ is non empty non trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is Element of c₁
m is Element of c₁
(c₁,b,b1,m) is non empty () ()
(1,op2,op0,op0) is non empty () ()
() is ()
c₁ is ()
the carrier of c₁ is set
b is Element of the carrier of c₁
1. c₁ is Element of the carrier of c₁
the OneF of c₁ is Element of the carrier of c₁
0. c₁ is V47(c₁) Element of the carrier of c₁
the ZeroF of c₁ is Element of the carrier of c₁
b1 is Element of the carrier of c₁
(c₁,b1,b) is Element of the carrier of c₁
the of c₁ is V6() V18([: the carrier of c₁, the carrier of c₁:], the carrier of c₁) Element of bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:]
[: the carrier of c₁, the carrier of c₁:] is set
[:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
bool [:[: the carrier of c₁, the carrier of c₁:], the carrier of c₁:] is set
the of c₁ . (b1,b) is Element of the carrier of c₁
m is Element of the carrier of c₁
(c₁,m,b) is Element of the carrier of c₁
the of c₁ . (m,b) is Element of the carrier of c₁
n is Element of the carrier of c₁
c₆ is Element of the carrier of c₁
c₁ is ()
c₁ 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 ()
c₁ is ()
c₁ 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 ()
c₁ is non empty set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
m is Element of c₁
n is Element of c₁
(c₁,b,b1,m,n) is () ()
c₁ is trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
m is Element of c₁
n is Element of c₁
(c₁,b,b1,m,n) is () ()
c₁ is non empty non trivial set
[:c₁,c₁:] is set
[:[:c₁,c₁:],c₁:] is set
bool [:[:c₁,c₁:],c₁:] is set
b is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
b1 is V6() V18([:c₁,c₁:],c₁) Element of bool [:[:c₁,c₁:],c₁:]
m is Element of c₁
n is Element of c₁
(c₁,b,b1,m,n) is non empty () ()
(1,op2,op2,op0,op0) is non empty () ()
() is ()