:: 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,r)))) 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 * (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
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))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * ((q),(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() 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)) 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
(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
((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
((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
((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() 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,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
(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 is V1() epsilon-transitive epsilon-connected ordinal natural () set
q 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)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p 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
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
(r,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),p) 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)) 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
((q,p),(r,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,p) * (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
(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
((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() 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() 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() 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() 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
((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
(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
(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,(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,(q)),r),((p,(r)),q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p,(q)),r),((p,(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,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,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
((p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) is V1() set
((p,q),(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,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (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,q)),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p,q)),((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() 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
1 - 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 * 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
(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 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() 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
1 - (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)) 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() 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
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
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) 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() 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() 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() 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) 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 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 * 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 * (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
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 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
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
(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() 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
(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) 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 * (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,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
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
(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() 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
((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() 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)) 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
(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
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
(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() 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() 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
(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),((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
(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
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
(p,(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * (q,r) is V1() 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,(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,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 * (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,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
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() 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),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,((q),r)),((r),q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,((q),r)),((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)) 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
(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,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 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
(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),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,q) * (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
(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,(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,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
1 - (p,(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 * (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
(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
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
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() 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,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,(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,q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (p) is V1() set
(((((p,q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(p)) is V1() set
((p,(p,q)),((p,q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) * ((p,q),p) 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,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,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
((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
((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
(((p,q),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,q),r) 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() 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
((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
(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,(q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(q,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() 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,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 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
((((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)),((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 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,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
((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),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () 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,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,r),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,r)),(p,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))),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,r))) * ((p,q)) is V1() set
(((((p,r))),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,r))),((p,q))) is V1() set
(((p,q),(p,r)),((p,r),(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q),(p,r)) * ((p,r),(p,q)) 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,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,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,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () 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),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (p) is V1() set
(((((p,q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(p)) is V1() set
((p,(p,q)),((p,q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) * ((p,q),p) is V1() set
((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(p,q)) 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 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),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,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() 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,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,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
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
(((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),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,(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
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,((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () 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),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p),q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p),q))) * (p) is V1() set
((((((p),q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((((p),q))),(p)) is V1() set
((p,((p),q)),(((p),q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,((p),q)) * (((p),q),p) 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
(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,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () 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),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (p) is V1() set
(((((p,q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(p)) is V1() set
((p,(p,q)),((p,q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) * ((p,q),p) 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
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
(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)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p) 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)),((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,(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,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,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) 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() epsilon-transitive epsilon-connected ordinal natural () 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))) 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),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),(p)) 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))),((p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * ((p)) is V1() set
(((((p,q))),((p)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),((p))) is V1() set
(((p),(p,q)),((p,q),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(p,q)) * ((p,q),(p)) 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() 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,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),(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
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() epsilon-transitive epsilon-connected ordinal natural () 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,q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (p) is V1() set
(((((p,q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(p)) is V1() set
((p,(p,q)),((p,q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) * ((p,q),p) 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
(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,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)) 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,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(q,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(q,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)),(q,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,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,p) is V1() set
((((p))),((q,p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p))) * ((q,p)) is V1() set
(((((p))),((q,p)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p))),((q,p))) is V1() set
((q,p),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,p)),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q,p)) is V1() set
((((q,p))),((p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,p))) * ((p)) is V1() set
(((((q,p))),((p)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((q,p))),((p))) is V1() set
(((p),(q,p)),((q,p),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(q,p)) * ((q,p),(p)) is V1() set
(((p),(q,p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),(q,p)) 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
(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))),((p),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () 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
1 - ((p),q) is V1() set
(((p,(p,(q)))),(((p),q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,(p,(q)))) * (((p),q)) is V1() set
((((p,(p,(q)))),(((p),q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p,(p,(q)))),(((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,(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,q),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (p) is V1() set
(((((p,q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(p)) is V1() set
((p,(p,q)),((p,q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) * ((p,q),p) 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),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () 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))) 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),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),(p)) 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))),((p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * ((p)) is V1() set
(((((p,q))),((p)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),((p))) is V1() set
(((p),(p,q)),((p,q),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(p,q)) * ((p,q),(p)) 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),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,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
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
((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,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() 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
((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,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() epsilon-transitive epsilon-connected ordinal natural () 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)) 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),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (p) is V1() set
(((((p,q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(p)) is V1() set
((p,(p,q)),((p,q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) * ((p,q),p) is V1() set
((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(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 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,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,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 * (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 * 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,(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),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (p) is V1() set
(((((p,q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(p)) is V1() set
((p,(p,q)),((p,q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) * ((p,q),p) 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,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () 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),(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),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (p) is V1() set
(((((p,q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(p)) is V1() set
((p,(p,q)),((p,q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) * ((p,q),p) 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
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 * 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
(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
((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
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),(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,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,r),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,r)),(p,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))),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,r))) * ((p,q)) is V1() set
(((((p,r))),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,r))),((p,q))) is V1() set
(((p,q),(p,r)),((p,r),(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,q),(p,r)) * ((p,r),(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,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () 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),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (p) is V1() set
(((((p,q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(p)) is V1() set
((p,(p,q)),((p,q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) * ((p,q),p) 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 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,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,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() 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),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,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
(q,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
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) 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,(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () 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),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q)),p) 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))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (p) is V1() set
(((((p,q))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(p)) is V1() set
((p,(p,q)),((p,q),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p,q)) * ((p,q),p) is V1() set
((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(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 * (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 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
(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)) 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
(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)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q) is V1() set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p 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,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),(q,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,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,p) is V1() set
(((p)),((q,p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * ((q,p)) is V1() set
((((p)),((q,p)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),((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) 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),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,q)),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,q))),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (q) is V1() set
(((((p,q))),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(q)) is V1() set
(p,((p,q),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),((p,q),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,q),q) is V1() set
(((p)),(((p,q),q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (((p,q),q)) is V1() set
((((p)),(((p,q),q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(((p,q),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
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
(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() 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
((q,r),(p,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
(((q,r)),(p,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,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,r) is V1() set
((((q,r))),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,r))) * ((p,r)) is V1() set
(((((q,r))),((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((q,r))),((p,r))) is V1() set
((p,q),((q,r),(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,q)),((q,r),(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
(((q,r),(p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q,r),(p,r)) is V1() set
((((p,q))),(((q,r),(p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (((q,r),(p,r))) is V1() set
(((((p,q))),(((q,r),(p,r))))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(((q,r),(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
((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
(r,p) 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) 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)) 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
(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
((r,p),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r,p) is V1() set
(((r,p)),(r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((r,p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((r,p)) is V1() set
((r,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r,q) is V1() set
((((r,p))),((r,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((r,p))) * ((r,q)) is V1() set
(((((r,p))),((r,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((r,p))),((r,q))) is V1() set
((p,q),((r,p),(r,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,q)),((r,p),(r,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
(((r,p),(r,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((r,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,q))),(((r,p),(r,q))))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(((r,p),(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) 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,(p,q)),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,(p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(p,q)) is V1() set
(((p,(p,q))),(p,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,(p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,(p,q))) is V1() set
((((p,(p,q)))),((p,q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,(p,q)))) * ((p,q)) is V1() set
(((((p,(p,q)))),((p,q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,(p,q)))),((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
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
(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,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() 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)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) 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,(q,r)),((p,q),(p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () 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),(p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,(q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,(q,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,(q,r)))),(((p,q),(p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,(q,r)))) * (((p,q),(p,r))) is V1() set
(((((p,(q,r)))),(((p,q),(p,r))))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,(q,r)))),(((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
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
(p,(q,r)) 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,r)) 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,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
((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
(q,(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),(p,r)) 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
(((q)),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * ((p,r)) is V1() set
((((q)),((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),((p,r))) is V1() set
((p,(q,r)),(q,(p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,(q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,(q,r)) is V1() set
(((p,(q,r))),(q,(p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,(q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,(q,r))) is V1() set
((q,(p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,(p,r)) is V1() set
((((p,(q,r)))),((q,(p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,(q,r)))) * ((q,(p,r))) is V1() set
(((((p,(q,r)))),((q,(p,r))))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,(q,r)))),((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
((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
((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
(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)) * (r) is V1() set
((((q)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(r)) is V1() set
(((p,q),r),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,q),r) is V1() set
((((p,q),r)),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p,q),r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p,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))),((q,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p,q),r))) * ((q,r)) is V1() set
((((((p,q),r))),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((((p,q),r))),((q,r))) is V1() set
p is V1() epsilon-transitive epsilon-connected ordinal natural () set
((),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(()) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - () is V1() set
((()),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((())) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (()) is V1() set
(p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - p is V1() set
(((())),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((())) * (p) is V1() 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)) 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))) 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
((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)) 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,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() 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
((q,r),(p,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
(((q,r)),(p,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,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,r) is V1() set
((((q,r))),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,r))) * ((p,r)) is V1() set
(((((q,r))),((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((q,r))),((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
((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
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
(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,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() 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)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,q) 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
((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 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
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
(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() 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 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)) 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))) 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),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p),p) is V1() set
((((p),p)),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p),p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p),p)) is V1() set
(((((p),p))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p),p))) * (p) is V1() set
((((((p),p))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((((p),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() 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 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,(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
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
(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
(((q,r)),((p,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
((((q,r))),((p,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,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,r)) is V1() set
(((((q,r)))),(((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((q,r)))) * (((p,r))) is V1() set
((((((q,r)))),(((p,r))))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((((q,r)))),(((p,r)))) is V1() set
((p,q),(((q,r)),((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,q)),(((q,r)),((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
((((q,r)),((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q,r)),((p,r))) is V1() set
((((p,q))),((((q,r)),((p,r))))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * ((((q,r)),((p,r)))) is V1() set
(((((p,q))),((((q,r)),((p,r)))))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),((((q,r)),((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
((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) 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)) 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
(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,q),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,q)),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,q))),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q))) * (q) is V1() set
(((((p,q))),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q))),(q)) is V1() set
((p),((p,q),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q),q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,q),q) is V1() set
(((p)),(((p,q),q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (((p,q),q)) is V1() set
((((p)),(((p,q),q)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(((p,q),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() 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)) 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),(p,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,p) * (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() 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
(((p,q),r),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q),r),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((p,q),r) is V1() set
((((p,q),r)),p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p,q),r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p,q),r)) is V1() set
(((((p,q),r))),(p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p,q),r))) * (p) is V1() set
((((((p,q),r))),(p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((((p,q),r))),(p)) is V1() set
(p,((p,q),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p),((p,q),r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p)),(((p,q),r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p)) * (((p,q),r)) is V1() set
((((p)),(((p,q),r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p)),(((p,q),r))) is V1() set
((((p,q),r),p),(p,((p,q),r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,q),r),p) * (p,((p,q),r)) 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),p),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p,q),r),p),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p,q),r),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((p,q),r),p) is V1() set
(((((p,q),r),p)),(q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((((p,q),r),p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,q),r),p)) is V1() set
((q,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (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,q),r),p))),((q,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((((p,q),r),p))),((q,r))) is V1() set
((q,r),(((p,q),r),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,r)),(((p,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,q),r),p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,r))) * ((((p,q),r),p)) is V1() set
(((((q,r))),((((p,q),r),p)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((q,r))),((((p,q),r),p))) is V1() set
(((((p,q),r),p),(q,r)),((q,r),(((p,q),r),p))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((((p,q),r),p),(q,r)) * ((q,r),(((p,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
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,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() 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
(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() 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,r),(r,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,r) * (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
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() epsilon-transitive epsilon-connected ordinal natural () 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
(r,p) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),p) 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)) 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,r),(r,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,r) * (r,p) is V1() set
s is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),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
(((r)),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) * (s) is V1() set
((((r)),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((r)),(s)) is V1() set
(s,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s),r) 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)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s)) * (r) is V1() set
((((s)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((s)),(r)) is V1() set
((r,s),(s,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) * (s,r) is V1() set
(q,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q)),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (s) is V1() set
((((q)),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(s)) is V1() set
(s,q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s),q) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((s)),(q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s)) * (q) is V1() set
((((s)),(q))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((s)),(q)) is V1() set
((q,s),(s,q)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q,s) * (s,q) is V1() set
((p,r),(q,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,r),(q,s)) 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,s)) 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
((q,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,s) is V1() set
((((p,r))),((q,s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,r))) * ((q,s)) is V1() set
(((((p,r))),((q,s)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,r))),((q,s))) is V1() set
((q,s),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s)),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q,s)) is V1() set
((((q,s))),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s))) * ((p,r)) is V1() set
(((((q,s))),((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((q,s))),((p,r))) is V1() set
(((p,r),(q,s)),((q,s),(p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,r),(q,s)) * ((q,s),(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
(p,(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
(((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)),((p),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p)) * ((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,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,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
p * r is V1() set
s is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) 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),s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r) is V1() set
(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - s is V1() set
(((r)),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) * (s) is V1() set
((((r)),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((r)),(s)) is V1() set
(s,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s),r) 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)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s)) * (r) is V1() set
((((s)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((s)),(r)) is V1() set
((r,s),(s,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) * (s,r) is V1() set
(q,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
q * s is V1() set
((p,r),(q,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,r),(q,s)) 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,s)) 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
((q,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,s) is V1() set
((((p,r))),((q,s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,r))) * ((q,s)) is V1() set
(((((p,r))),((q,s)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,r))),((q,s))) is V1() set
((q,s),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s)),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q,s)) is V1() set
((((q,s))),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s))) * ((p,r)) is V1() set
(((((q,s))),((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((q,s))),((p,r))) is V1() set
(((p,r),(q,s)),((q,s),(p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,r),(q,s)) * ((q,s),(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() 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,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
s is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r) is V1() set
(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - s is V1() set
(((r)),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) * (s) is V1() set
((((r)),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((r)),(s)) is V1() set
(s,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s),r) 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)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s)) * (r) is V1() set
((((s)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((s)),(r)) is V1() set
((r,s),(s,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) * (s,r) is V1() set
(q,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(q) * (s) is V1() set
(((q),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q),(s)) is V1() set
((p,r),(q,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,r),(q,s)) 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,s)) 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
((q,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,s) is V1() set
((((p,r))),((q,s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,r))) * ((q,s)) is V1() set
(((((p,r))),((q,s)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,r))),((q,s))) is V1() set
((q,s),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s)),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q,s)) is V1() set
((((q,s))),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s))) * ((p,r)) is V1() set
(((((q,s))),((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((q,s))),((p,r))) is V1() set
(((p,r),(q,s)),((q,s),(p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,r),(q,s)) * ((q,s),(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() 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() 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,r) is V1() epsilon-transitive epsilon-connected ordinal natural () 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
s is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r),s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (r) is V1() set
(s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - s is V1() set
(((r)),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((r)) * (s) is V1() set
((((r)),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((r)),(s)) is V1() set
(s,r) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s),r) 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)),(r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((s)) * (r) is V1() set
((((s)),(r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((s)),(r)) is V1() set
((r,s),(s,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(r,s) * (s,r) is V1() set
(q,s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q),s) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q)),(s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((q)) * (s) is V1() set
((((q)),(s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (((q)),(s)) is V1() set
((p,r),(q,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,r),(q,s)) 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,s)) 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
((q,s)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (q,s) is V1() set
((((p,r))),((q,s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((p,r))) * ((q,s)) is V1() set
(((((p,r))),((q,s)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((p,r))),((q,s))) is V1() set
((q,s),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s)),(p,r)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((q,s)) is V1() set
((((q,s))),((p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(((q,s))) * ((p,r)) is V1() set
(((((q,s))),((p,r)))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - ((((q,s))),((p,r))) is V1() set
(((p,r),(q,s)),((q,s),(p,r))) is V1() epsilon-transitive epsilon-connected ordinal natural () set
((p,r),(q,s)) * ((q,s),(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
(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,(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
(p,(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,(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,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) 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,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() 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
(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
(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 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)) 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
(p,(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
(((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)),((p),p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,(p)) * ((p),p) 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)) 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),(p,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,p) * (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,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 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,(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 * 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) 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,(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,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)) 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),(p,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
(p,p) * (p,p) is V1() set
((p,p)) is V1() epsilon-transitive epsilon-connected ordinal natural () set
1 - (p,p) is V1() set