:: XBOOLEAN semantic presentation

K100() is set
K104() is V12() epsilon-transitive epsilon-connected ordinal M2(K26(K100()))
K26(K100()) is set
0 is V1() epsilon-transitive epsilon-connected ordinal natural M3(K100(),K104())
1 is V1() V12() epsilon-transitive epsilon-connected ordinal natural M3(K100(),K104())
() is set
() is set
p is set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
1 - q is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
r is set
s is V1() epsilon-transitive epsilon-connected ordinal natural () set
c₅ is V1() epsilon-transitive epsilon-connected ordinal natural () set
s * c₅ is V1() set
c₅ * s is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
r * r is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is set
p * q is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
r is set
s is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - s is V1() set
c₅ is V1() epsilon-transitive epsilon-connected ordinal natural () set
(c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - c₅ is V1() set
((s),(c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s) * (c₅) is V1() set
(((s),(c₅))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((s),(c₅)) is V1() set
((c₅),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(c₅) * (s) is V1() set
(((c₅),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((c₅),(s)) is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
((r),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r) * (r) is V1() set
(((r),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((r),(r)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
(p,q) is set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
r is set
s is V1() epsilon-transitive epsilon-connected ordinal natural () set
c₅ is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s,c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - s is V1() set
((s),c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (s) is V1() set
(c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - c₅ is V1() set
(((s)),(c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s)) * (c₅) is V1() set
((((s)),(c₅))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((s)),(c₅)) is V1() set
(c₅,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((c₅),s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (c₅) is V1() set
(((c₅)),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((c₅)) * (s) is V1() set
((((c₅)),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((c₅)),(s)) is V1() set
((s,c₅),(c₅,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s,c₅) * (c₅,s) is V1() set
((c₅,s),(s,c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(c₅,s) * (s,c₅) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
r is set
s is V1() epsilon-transitive epsilon-connected ordinal natural () set
c₅ is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s,c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
s * c₅ is V1() set
((s,c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (s,c₅) is V1() set
(c₅,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
c₅ * s is V1() set
((c₅,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (c₅,s) is V1() set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
r is set
s is V1() epsilon-transitive epsilon-connected ordinal natural () set
c₅ is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s,c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - s is V1() set
(c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - c₅ is V1() set
((s),(c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s) * (c₅) is V1() set
(((s),(c₅))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((s),(c₅)) is V1() set
((s,c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (s,c₅) is V1() set
(c₅,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((c₅),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(c₅) * (s) is V1() set
(((c₅),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((c₅),(s)) is V1() set
((c₅,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (c₅,s) is V1() set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
r is set
s is V1() epsilon-transitive epsilon-connected ordinal natural () set
c₅ is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s,c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s,c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - s is V1() set
((s),c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (s) is V1() set
(c₅) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - c₅ is V1() set
(((s)),(c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s)) * (c₅) is V1() set
((((s)),(c₅))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((s)),(c₅)) is V1() set
(c₅,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((c₅),s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (c₅) is V1() set
(((c₅)),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((c₅)) * (s) is V1() set
((((c₅)),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((c₅)),(s)) is V1() set
((s,c₅),(c₅,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(s,c₅) * (c₅,s) is V1() set
((s,c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (s,c₅) is V1() set
(c₅,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((c₅,s),(s,c₅)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(c₅,s) * (s,c₅) is V1() set
((c₅,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (c₅,s) is V1() set
(p,(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(p,q) is set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(p,q) is set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(p,q) is set
(p,(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * p is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (p,q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (p) is V1() set
(((p),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(p)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((p,q)) is V1() set
(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((p,q))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((p,q)) is V1() set
(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((p,q))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (p,q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (p,q) is V1() set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((p,q)) is V1() set
(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((p,q))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
((q),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) * (r) is V1() set
(((q),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q),(r)) is V1() set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (q,r) is V1() set
(p,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * r is V1() set
((p,q),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,r) is V1() set
(((p,q)),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) * ((p,r)) is V1() set
((((p,q)),((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p,q)),((p,r))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
q * r is V1() set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,r) is V1() set
((p),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((q,r)) is V1() set
(((p),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((q,r))) is V1() set
(p,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
((p),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (r) is V1() set
(((p),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(r)) is V1() set
((p,q),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (p,r) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
q * r is V1() set
((p,q),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,r) is V1() set
(((p,q)),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) * ((q,r)) is V1() set
((((p,q)),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p,q)),((q,r))) is V1() set
(r,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
r * p is V1() set
(((p,q),(q,r)),(r,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q),(q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,q),(q,r)) is V1() set
((r,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r,p) is V1() set
((((p,q),(q,r))),((r,p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q),(q,r))) * ((r,p)) is V1() set
(((((p,q),(q,r))),((r,p)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q),(q,r))),((r,p))) is V1() set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
((q),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) * (r) is V1() set
(((q),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q),(r)) is V1() set
((p,q),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,r) is V1() set
(r,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r) * (p) is V1() set
(((r),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((r),(p)) is V1() set
(((p,q),(q,r)),(r,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q),(q,r)) * (r,p) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(p,((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * ((p),q) is V1() set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * q is V1() set
(p,((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),q) is V1() set
((p),(((p),q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (((p),q)) is V1() set
(((p),(((p),q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(((p),q))) is V1() set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((p,q)) is V1() set
((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((p,q))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (p,q) is V1() set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((p,q)) is V1() set
((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((p,q))) is V1() set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(p,((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * ((p,q)) is V1() set
(p,(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((p,q)) is V1() set
((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((p,q))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (p,q) is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * q is V1() set
((p),((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),q) is V1() set
(((p)),(((p),q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (((p),q)) is V1() set
((((p)),(((p),q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(((p),q))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(((p,q)),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,q)) is V1() set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
((((p,q))),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (r) is V1() set
(((((p,q))),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(r)) is V1() set
(r,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r) is V1() set
(((r)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) * ((p,q)) is V1() set
((((r)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((r)),((p,q))) is V1() set
(((p,q),r),(r,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q),r) * (r,(p,q)) is V1() set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (r) is V1() set
((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(r)) is V1() set
(r,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((r)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) * (q) is V1() set
((((r)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((r)),(q)) is V1() set
((q,r),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) * (r,q) is V1() set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,r) is V1() set
(((p)),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((q,r)) is V1() set
((((p)),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((q,r))) is V1() set
((q,r),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,r)),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q,r)) is V1() set
((((q,r))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,r))) * (p) is V1() set
(((((q,r))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((q,r))),(p)) is V1() set
((p,(q,r)),((q,r),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(q,r)) * ((q,r),p) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (p,q) is V1() set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (p,q) is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
(((q)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (r) is V1() set
((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(r)) is V1() set
(r,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r) is V1() set
(((r)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) * (q) is V1() set
((((r)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((r)),(q)) is V1() set
((q,r),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) * (r,q) is V1() set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (q,r) is V1() set
(p,((q),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * ((q),r) is V1() set
((p,((q),r)),((r),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,((q),r)) * ((r),q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(p,(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
((p),((q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((q)) is V1() set
(((p),((q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((q))) is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
(((q)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (r) is V1() set
((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(r)) is V1() set
(r,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r) is V1() set
(((r)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) * (q) is V1() set
((((r)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((r)),(q)) is V1() set
((q,r),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) * (r,q) is V1() set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,r) is V1() set
((p),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((q,r)) is V1() set
(((p),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((q,r))) is V1() set
((p,(q)),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(q)) is V1() set
(((p,(q))),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,(q))) * (r) is V1() set
((((p,(q))),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p,(q))),(r)) is V1() set
(p,(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),((r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((r)) is V1() set
(((p),((r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((r))) is V1() set
((p,(r)),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(r)) is V1() set
(((p,(r))),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,(r))) * (q) is V1() set
((((p,(r))),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p,(r))),(q)) is V1() set
(((p,(q)),r),((p,(r)),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,(q)),r) * ((p,(r)),q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (p,q) is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q)),((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(q)) * ((p),q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
(((q)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (r) is V1() set
((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(r)) is V1() set
(r,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r) is V1() set
(((r)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) * (q) is V1() set
((((r)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((r)),(q)) is V1() set
((q,r),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) * (r,q) is V1() set
((p),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q,r) is V1() set
((p),((q),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((q),r) is V1() set
(((p),((q),r)),((r),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),((q),r)) * ((r),q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((p,q)) is V1() set
((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((p,q))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((p,q)) is V1() set
((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((p,q))) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((p,q)) is V1() set
((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((p,q))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((p,q)) is V1() set
(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((p,q))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((q)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (p) is V1() set
((((q)),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(p)) is V1() set
((p,q),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (q,p) is V1() set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(((p)),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((p,q)) is V1() set
((((p)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((p,q))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) is V1() set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(((p)),((q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((q)) is V1() set
((((p)),((q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((q))) is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (q) is V1() set
((((p)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(q)) is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
(((q)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (r) is V1() set
((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(r)) is V1() set
(r,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r) is V1() set
(((r)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) * (q) is V1() set
((((r)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((r)),(q)) is V1() set
((q,r),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) * (r,q) is V1() set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,r) is V1() set
(((p)),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((q,r)) is V1() set
((((p)),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((q,r))) is V1() set
(((p),(q)),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
((((p),(q))),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p),(q))) * (r) is V1() set
(((((p),(q))),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p),(q))),(r)) is V1() set
(((p),q),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),q) is V1() set
((((p),q)),((r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p),q)) * ((r)) is V1() set
(((((p),q)),((r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p),q)),((r))) is V1() set
((((p),(q)),r),(((p),q),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p),(q)),r) * (((p),q),(r)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((p),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (p) is V1() set
(((p),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(p)) is V1() set
((p,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,p) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((p,q)) is V1() set
(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((p,q))) is V1() set
((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(p,q)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((p,q)) is V1() set
(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((p,q))) is V1() set
((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(p,q)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((p,q)) is V1() set
(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((p,q))) is V1() set
((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(p,q)) is V1() set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * q is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * q is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((p,q)) is V1() set
(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((p,q))) is V1() set
((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(p,q)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((p,q)) is V1() set
(((p),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((p,q))) is V1() set
((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(p,q)) is V1() set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (p,q) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(p,(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
((q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
((p),((q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((q)) is V1() set
(((p),((q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((q))) is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
((q),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) * (r) is V1() set
(((q),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q),(r)) is V1() set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,r) is V1() set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,r) is V1() set
((p),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((q,r)) is V1() set
(((p),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((q,r))) is V1() set
(p,(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r) is V1() set
((p),((r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((r)) is V1() set
(((p),((r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((r))) is V1() set
((p,(q)),(p,(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(q)) * (p,(r)) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * q is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
((q),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) * (r) is V1() set
(((q),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q),(r)) is V1() set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,r) is V1() set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,r) is V1() set
((p),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((q,r)) is V1() set
(((p),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((q,r))) is V1() set
((p,(q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(q,r)) is V1() set
((p),r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * r is V1() set
(((p),q),((p),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),q) is V1() set
(((p),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),r) is V1() set
((((p),q)),(((p),r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p),q)) * (((p),r)) is V1() set
(((((p),q)),(((p),r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p),q)),(((p),r))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
q is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - q is V1() set
((p),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (q) is V1() set
(((p),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q)) is V1() set
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
r is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
q * r is V1() set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,r) is V1() set
((p),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * ((q,r)) is V1() set
(((p),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),((q,r))) is V1() set
((p,(q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(q,r)) is V1() set
(p,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - r is V1() set
((p),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p) * (r) is V1() set
(((p),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(r)) is V1() set
((p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,r) is V1() set
(((p,q)),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,q)) is V1() set
(((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,r)) is V1() set
((((p,q))),(((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (((p,r))) is V1() set
(((((p,q))),(((p,r))))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(((p,