:: PBOOLE semantic presentation

{} is empty Function-like functional V26() V27() V28() V30() V31() V32() set
the empty Function-like functional V26() V27() V28() V30() V31() V32() set is empty Function-like functional V26() V27() V28() V30() V31() V32() set
dom {} is set
rng {} is set
{{}} is non empty set
I is Relation-like Function-like set
rng I is set
I is Relation-like Function-like set
rng I is set
A is set
dom I is set
B is set
I . B is set
the Element of dom I is Element of dom I
B is set
I . the Element of dom I is set
dom I is set
A is set
I . A is set
A is set
dom I is set
I . A is set
I is set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
F₁() is set
I is set
F₂(I) is set
the Element of F₂(I) is Element of F₂(I)
B is set
h is set
I is Relation-like Function-like set
dom I is set
A is Relation-like F₁() -defined Function-like total set
B is set
A . B is set
F₂(B) is set
I is set
c₅ is set
h is Relation-like I -defined Function-like total set
h . c₅ is set
I is non empty set
h is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
x is set
h . x is set
c₅ . x is set
x is set
c₅ . x is set
h . x is set
F₁() is set
F₂() is Relation-like F₁() -defined Function-like total set
I is set
F₂() . I is set
A is set
I is Relation-like Function-like set
dom I is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
dom A is set
dom B is set
I is set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like Function-like set
dom h is set
h is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
x is set
h . x is set
A . x is set
B . x is set
(A . x) \/ (B . x) is set
c₅ . x is set
h is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
x is Relation-like I -defined Function-like total set
f is set
h . f is set
x . f is set
c₅ . f is set
(x . f) \/ (c₅ . f) is set
c₅ is set
h is Relation-like I -defined Function-like total set
h . c₅ is set
(h . c₅) \/ (h . c₅) is set
h is Relation-like Function-like set
dom h is set
h is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
x is set
h . x is set
A . x is set
B . x is set
(A . x) /\ (B . x) is set
c₅ . x is set
h is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
x is Relation-like I -defined Function-like total set
f is set
h . f is set
x . f is set
c₅ . f is set
(x . f) /\ (c₅ . f) is set
c₅ is set
h is Relation-like I -defined Function-like total set
h . c₅ is set
(h . c₅) /\ (h . c₅) is set
h is Relation-like Function-like set
dom h is set
h is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
x is set
h . x is set
A . x is set
B . x is set
(A . x) \ (B . x) is Element of bool (A . x)
bool (A . x) is set
c₅ . x is set
h is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
x is set
c₅ . x is set
h . x is set
h is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
x is set
c₅ . x is set
h . x is set
I is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,A)) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
x is Relation-like I -defined Function-like total set
(I,c₅,x) is Relation-like I -defined Function-like total set
(I,x,c₅) is Relation-like I -defined Function-like total set
(I,(I,c₅,x),(I,x,c₅)) is Relation-like I -defined Function-like total set
(I,(I,x,c₅),(I,c₅,x)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,A)) is Relation-like I -defined Function-like total set
h is set
(I,A,B) . h is set
A . h is set
B . h is set
(A . h) \+\ (B . h) is set
(A . h) \ (B . h) is set
(B . h) \ (A . h) is set
((A . h) \ (B . h)) \/ ((B . h) \ (A . h)) is set
(I,A,B) . h is set
(I,B,A) . h is set
((I,A,B) . h) \/ ((I,B,A) . h) is set
(A . h) \ (B . h) is Element of bool (A . h)
bool (A . h) is set
((A . h) \ (B . h)) \/ ((I,B,A) . h) is set
I is set
A is set
(A) is Relation-like A -defined Function-like total set
A --> {} is Relation-like A -defined {{}} -valued Function-like constant total quasi_total Element of bool [:A,{{}}:]
[:A,{{}}:] is set
bool [:A,{{}}:] is set
(A) . I is set
dom (A) is set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
B is set
A . B is set
(I) . B is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
c₅ is set
A . c₅ is set
(I,B,h) . c₅ is set
B . c₅ is set
h . c₅ is set
(B . c₅) \/ (h . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
c₅ is set
A . c₅ is set
B . c₅ is set
(I,B,h) . c₅ is set
h . c₅ is set
(B . c₅) /\ (h . c₅) is set
c₅ is set
A . c₅ is set
h . c₅ is set
(I,B,h) . c₅ is set
B . c₅ is set
(B . c₅) /\ (h . c₅) is set
c₅ is set
A . c₅ is set
(I,B,h) . c₅ is set
B . c₅ is set
h . c₅ is set
(B . c₅) /\ (h . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
c₅ is set
A . c₅ is set
h . c₅ is set
B . c₅ is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
c₅ is set
B . c₅ is set
h . c₅ is set
A . c₅ is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is set
A . h is set
B . h is set
(A . h) /\ (B . h) is set
h is Relation-like I -defined Function-like total set
c₅ is set
h . c₅ is set
A . c₅ is set
B . c₅ is set
(A . c₅) /\ (B . c₅) is set
c₅ is set
h . c₅ is set
A . c₅ is set
B . c₅ is set
(A . c₅) /\ (B . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
c₅ is set
A . c₅ is set
B . c₅ is set
(I,B,h) . c₅ is set
h . c₅ is set
(B . c₅) \ (h . c₅) is Element of bool (B . c₅)
bool (B . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is set
A . h is set
B . h is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is set
A . h is set
B . h is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
c₅ is set
A . c₅ is set
h . c₅ is set
x is set
B . c₅ is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is set
A . h is set
(I,A,B) . h is set
c₅ is set
B . h is set
(A . h) \/ (B . h) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is set
(I,A,B) . h is set
A . h is set
c₅ is set
B . h is set
(A . h) /\ (B . h) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
c₅ is set
(I,A,h) . c₅ is set
B . c₅ is set
A . c₅ is set
h . c₅ is set
(A . c₅) \/ (h . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
c₅ is set
A . c₅ is set
(I,B,h) . c₅ is set
B . c₅ is set
h . c₅ is set
(B . c₅) /\ (h . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
(I,B,c₅) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
(I,B,c₅) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,h,B) is Relation-like I -defined Function-like total set
(I,A,(I,h,B)) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,(I,A,h),B) is Relation-like I -defined Function-like total set
c₅ is set
(I,A,(I,h,B)) . c₅ is set
(I,(I,A,h),B) . c₅ is set
A . c₅ is set
B . c₅ is set
(I,h,B) . c₅ is set
(A . c₅) \/ ((I,h,B) . c₅) is set
h . c₅ is set
(h . c₅) /\ (B . c₅) is set
(A . c₅) \/ ((h . c₅) /\ (B . c₅)) is set
(A . c₅) \/ (h . c₅) is set
((A . c₅) \/ (h . c₅)) /\ (B . c₅) is set
(I,A,h) . c₅ is set
((I,A,h) . c₅) /\ (B . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
c₅ is set
(I,(I,A,B),h) . c₅ is set
(I,A,(I,B,h)) . c₅ is set
(I,A,B) . c₅ is set
h . c₅ is set
((I,A,B) . c₅) \/ (h . c₅) is set
A . c₅ is set
B . c₅ is set
(A . c₅) \/ (B . c₅) is set
((A . c₅) \/ (B . c₅)) \/ (h . c₅) is set
(B . c₅) \/ (h . c₅) is set
(A . c₅) \/ ((B . c₅) \/ (h . c₅)) is set
(I,B,h) . c₅ is set
(A . c₅) \/ ((I,B,h) . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
c₅ is set
(I,(I,A,B),h) . c₅ is set
(I,A,(I,B,h)) . c₅ is set
(I,A,B) . c₅ is set
h . c₅ is set
((I,A,B) . c₅) /\ (h . c₅) is set
A . c₅ is set
B . c₅ is set
(A . c₅) /\ (B . c₅) is set
((A . c₅) /\ (B . c₅)) /\ (h . c₅) is set
(B . c₅) /\ (h . c₅) is set
(A . c₅) /\ ((B . c₅) /\ (h . c₅)) is set
(I,B,h) . c₅ is set
(A . c₅) /\ ((I,B,h) . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,h)) is Relation-like I -defined Function-like total set
c₅ is set
(I,A,(I,B,h)) . c₅ is set
(I,(I,A,B),(I,A,h)) . c₅ is set
A . c₅ is set
(I,B,h) . c₅ is set
(A . c₅) /\ ((I,B,h) . c₅) is set
B . c₅ is set
h . c₅ is set
(B . c₅) \/ (h . c₅) is set
(A . c₅) /\ ((B . c₅) \/ (h . c₅)) is set
(A . c₅) /\ (B . c₅) is set
(A . c₅) /\ (h . c₅) is set
((A . c₅) /\ (B . c₅)) \/ ((A . c₅) /\ (h . c₅)) is set
(I,A,B) . c₅ is set
((I,A,B) . c₅) \/ ((A . c₅) /\ (h . c₅)) is set
(I,A,h) . c₅ is set
((I,A,B) . c₅) \/ ((I,A,h) . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,h)) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,A,(I,A,h)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,A,h)),(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,(I,(I,A,h),(I,B,h))) is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,A,(I,(I,A,B),h)) is Relation-like I -defined Function-like total set
(I,(I,A,B),A) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),A),(I,(I,A,B),h)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,h)) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,h)) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,h)) is Relation-like I -defined Function-like total set
(I,h,A) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),(I,B,h)),(I,h,A)) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,h)) is Relation-like I -defined Function-like total set
(I,h,A) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),(I,B,h)),(I,h,A)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),(I,B,h)),h) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),(I,B,h)),A) is Relation-like I -defined Function-like total set
(I,(I,(I,(I,A,B),(I,B,h)),h),(I,(I,(I,A,B),(I,B,h)),A)) is Relation-like I -defined Function-like total set
(I,(I,B,h),h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,(I,B,h),h)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),(I,(I,B,h),h)),(I,(I,(I,A,B),(I,B,h)),A)) is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),h),(I,(I,(I,A,B),(I,B,h)),A)) is Relation-like I -defined Function-like total set
(I,(I,A,B),A) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),A),(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),h),(I,(I,(I,A,B),A),(I,B,h))) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),h),(I,A,(I,B,h))) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,h),(I,B,h)),(I,A,(I,B,h))) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,h)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,h),(I,B,h)),(I,(I,A,B),(I,A,h))) is Relation-like I -defined Function-like total set
(I,(I,B,h),(I,A,h)) is Relation-like I -defined Function-like total set
(I,(I,(I,B,h),(I,A,h)),(I,A,h)) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,(I,(I,B,h),(I,A,h)),(I,A,h))) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,A,h)) is Relation-like I -defined Function-like total set
(I,(I,B,h),(I,(I,A,h),(I,A,h))) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,(I,B,h),(I,(I,A,h),(I,A,h)))) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,B,h)) is Relation-like I -defined Function-like total set
(I,h,h) is Relation-like I -defined Function-like total set
(I,B,(I,h,h)) is Relation-like I -defined Function-like total set
(I,A,(I,B,(I,h,h))) is Relation-like I -defined Function-like total set
(I,h,B) is Relation-like I -defined Function-like total set
(I,(I,h,B),h) is Relation-like I -defined Function-like total set
(I,A,(I,(I,h,B),h)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,B,h)) is Relation-like I -defined Function-like total set
(I,h,h) is Relation-like I -defined Function-like total set
(I,B,(I,h,h)) is Relation-like I -defined Function-like total set
(I,A,(I,B,(I,h,h))) is Relation-like I -defined Function-like total set
(I,h,B) is Relation-like I -defined Function-like total set
(I,(I,h,B),h) is Relation-like I -defined Function-like total set
(I,A,(I,(I,h,B),h)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
(I,A,A) is Relation-like I -defined Function-like total set
(I,(I,A,A),B) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
(I,A,A) is Relation-like I -defined Function-like total set
(I,(I,A,A),B) is Relation-like I -defined Function-like total set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
B is set
(I) . B is set
A . B is set
h is set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
(I,A,h) is Relation-like I -defined Function-like total set
I is set
B is set
A is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
(I,A,(I)) is Relation-like I -defined Function-like total set
(B) is Relation-like B -defined Function-like total set
B --> {} is Relation-like B -defined {{}} -valued Function-like constant total quasi_total Element of bool [:B,{{}}:]
[:B,{{}}:] is set
bool [:B,{{}}:] is set
h is Relation-like B -defined Function-like total set
(B,(B),h) is Relation-like B -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
I is set
A is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
(I,A,(I)) is Relation-like I -defined Function-like total set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,B,A),(I)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is set
A . h is set
B . h is set
(A . h) \ (B . h) is Element of bool (A . h)
bool (A . h) is set
(I,A,B) . h is set
h is set
A . h is set
B . h is set
(I,A,B) . h is set
(A . h) \ (B . h) is Element of bool (A . h)
bool (A . h) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
c₅ is set
(I,A,h) . c₅ is set
A . c₅ is set
h . c₅ is set
(A . c₅) \ (h . c₅) is Element of bool (A . c₅)
bool (A . c₅) is set
(I,B,h) . c₅ is set
B . c₅ is set
(B . c₅) \ (h . c₅) is Element of bool (B . c₅)
bool (B . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,h,B) is Relation-like I -defined Function-like total set
(I,h,A) is Relation-like I -defined Function-like total set
c₅ is set
(I,h,A) . c₅ is set
h . c₅ is set
A . c₅ is set
(h . c₅) \ (A . c₅) is Element of bool (h . c₅)
bool (h . c₅) is set
(I,h,B) . c₅ is set
B . c₅ is set
(h . c₅) \ (B . c₅) is Element of bool (h . c₅)
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
(I,A,c₅) is Relation-like I -defined Function-like total set
(I,B,c₅) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is set
A . h is set
B . h is set
(A . h) \ (B . h) is Element of bool (A . h)
bool (A . h) is set
(I,A,B) . h is set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
h is set
A . h is set
(I) . h is set
(I,B,A) . h is set
B . h is set
(B . h) \ (A . h) is Element of bool (B . h)
bool (B . h) is set
I is set
A is Relation-like I -defined Function-like total set
(I,A,A) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
(I,A,(I)) is Relation-like I -defined Function-like total set
B is set
(I,A,(I)) . B is set
A . B is set
(I) . B is set
(A . B) \ ((I) . B) is Element of bool (A . B)
bool (A . B) is set
(A . B) \ {} is Element of bool (A . B)
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
(I,(I),A) is Relation-like I -defined Function-like total set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
c₅ is set
(I,A,(I,B,h)) . c₅ is set
(I,(I,A,B),h) . c₅ is set
A . c₅ is set
(I,B,h) . c₅ is set
(A . c₅) /\ ((I,B,h) . c₅) is set
B . c₅ is set
h . c₅ is set
(B . c₅) \ (h . c₅) is Element of bool (B . c₅)
bool (B . c₅) is set
(A . c₅) /\ ((B . c₅) \ (h . c₅)) is Element of bool (B . c₅)
(A . c₅) /\ (B . c₅) is set
((A . c₅) /\ (B . c₅)) \ (h . c₅) is Element of bool ((A . c₅) /\ (B . c₅))
bool ((A . c₅) /\ (B . c₅)) is set
(I,A,B) . c₅ is set
((I,A,B) . c₅) \ (h . c₅) is Element of bool ((I,A,B) . c₅)
bool ((I,A,B) . c₅) is set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,B,A),B) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,h)) is Relation-like I -defined Function-like total set
c₅ is set
(I,A,(I,B,h)) . c₅ is set
(I,(I,A,B),(I,A,h)) . c₅ is set
A . c₅ is set
(I,B,h) . c₅ is set
(A . c₅) \ ((I,B,h) . c₅) is Element of bool (A . c₅)
bool (A . c₅) is set
B . c₅ is set
h . c₅ is set
(B . c₅) \ (h . c₅) is Element of bool (B . c₅)
bool (B . c₅) is set
(A . c₅) \ ((B . c₅) \ (h . c₅)) is Element of bool (A . c₅)
(A . c₅) \ (B . c₅) is Element of bool (A . c₅)
(A . c₅) /\ (h . c₅) is set
((A . c₅) \ (B . c₅)) \/ ((A . c₅) /\ (h . c₅)) is set
(I,A,h) . c₅ is set
((A . c₅) \ (B . c₅)) \/ ((I,A,h) . c₅) is set
(I,A,B) . c₅ is set
((I,A,B) . c₅) \/ ((I,A,h) . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,B)) is Relation-like I -defined Function-like total set
(I,B,B) is Relation-like I -defined Function-like total set
(I,A,(I,B,B)) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
(I,A,(I)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,A,(I,B,A)) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,B,A),(I,B,A)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,A,(I,B,A)) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,A,(I,B,A)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,A)),(I,B,A)) is Relation-like I -defined Function-like total set
(I,(I,B,A),(I,B,A)) is Relation-like I -defined Function-like total set
(I,A,(I,(I,B,A),(I,B,A))) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,A) is Relation-like I -defined Function-like total set
(I,(I,A,A),(I,A,B)) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
(I,(I),(I,A,B)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,h)) is Relation-like I -defined Function-like total set
c₅ is set
(I,A,(I,B,h)) . c₅ is set
(I,(I,A,B),(I,A,h)) . c₅ is set
A . c₅ is set
(I,B,h) . c₅ is set
(A . c₅) \ ((I,B,h) . c₅) is Element of bool (A . c₅)
bool (A . c₅) is set
B . c₅ is set
h . c₅ is set
(B . c₅) /\ (h . c₅) is set
(A . c₅) \ ((B . c₅) /\ (h . c₅)) is Element of bool (A . c₅)
(A . c₅) \ (B . c₅) is Element of bool (A . c₅)
(A . c₅) \ (h . c₅) is Element of bool (A . c₅)
((A . c₅) \ (B . c₅)) \/ ((A . c₅) \ (h . c₅)) is Element of bool (A . c₅)
(I,A,h) . c₅ is set
((A . c₅) \ (B . c₅)) \/ ((I,A,h) . c₅) is set
(I,A,B) . c₅ is set
((I,A,B) . c₅) \/ ((I,A,h) . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,A) is Relation-like I -defined Function-like total set
(I,(I,A,A),(I,A,B)) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
(I,(I),(I,A,B)) is Relation-like I -defined Function-like total set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,B,h)) is Relation-like I -defined Function-like total set
c₅ is set
(I,(I,A,B),h) . c₅ is set
(I,(I,A,h),(I,B,h)) . c₅ is set
(I,A,B) . c₅ is set
h . c₅ is set
((I,A,B) . c₅) \ (h . c₅) is Element of bool ((I,A,B) . c₅)
bool ((I,A,B) . c₅) is set
A . c₅ is set
B . c₅ is set
(A . c₅) \/ (B . c₅) is set
((A . c₅) \/ (B . c₅)) \ (h . c₅) is Element of bool ((A . c₅) \/ (B . c₅))
bool ((A . c₅) \/ (B . c₅)) is set
(A . c₅) \ (h . c₅) is Element of bool (A . c₅)
bool (A . c₅) is set
(B . c₅) \ (h . c₅) is Element of bool (B . c₅)
bool (B . c₅) is set
((A . c₅) \ (h . c₅)) \/ ((B . c₅) \ (h . c₅)) is set
(I,B,h) . c₅ is set
((A . c₅) \ (h . c₅)) \/ ((I,B,h) . c₅) is set
(I,A,h) . c₅ is set
((I,A,h) . c₅) \/ ((I,B,h) . c₅) is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
c₅ is set
(I,(I,A,B),h) . c₅ is set
(I,A,(I,B,h)) . c₅ is set
(I,A,B) . c₅ is set
h . c₅ is set
((I,A,B) . c₅) \ (h . c₅) is Element of bool ((I,A,B) . c₅)
bool ((I,A,B) . c₅) is set
A . c₅ is set
B . c₅ is set
(A . c₅) \ (B . c₅) is Element of bool (A . c₅)
bool (A . c₅) is set
((A . c₅) \ (B . c₅)) \ (h . c₅) is Element of bool (A . c₅)
(B . c₅) \/ (h . c₅) is set
(A . c₅) \ ((B . c₅) \/ (h . c₅)) is Element of bool (A . c₅)
(I,B,h) . c₅ is set
(A . c₅) \ ((I,B,h) . c₅) is Element of bool (A . c₅)
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,A,h),B) is Relation-like I -defined Function-like total set
(I,(I,A,h),B) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,(I,A,h),B)) is Relation-like I -defined Function-like total set
(I,h,B) is Relation-like I -defined Function-like total set
(I,A,(I,h,B)) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,A,(I,h,B))) is Relation-like I -defined Function-like total set
(I,(I,A,h),A) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,h,B)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,h),A),(I,(I,A,h),(I,h,B))) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
(I,(I),(I,(I,A,h),(I,h,B))) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,B,h),h) is Relation-like I -defined Function-like total set
(I,(I,A,h),(I,(I,B,h),h)) is Relation-like I -defined Function-like total set
(I,(I,A,h),h) is Relation-like I -defined Function-like total set
(I,(I,(I,A,h),(I,B,h)),(I,(I,A,h),h)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,h),(I,B,h)),(I)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,B)) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
(I,(I,A,B),(I)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,h,B) is Relation-like I -defined Function-like total set
(I,(I,h,B),B) is Relation-like I -defined Function-like total set
(I,h,B) is Relation-like I -defined Function-like total set
(I,(I,B,h),h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,B)) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,A)) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
(I,B,(I,A,B)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,A,B)),(I,B,(I,A,B))) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,(I,A,B))) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),B) is Relation-like I -defined Function-like total set
(I,B,B) is Relation-like I -defined Function-like total set
(I,A,(I,B,B)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,h)) is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,(I,A,B),A) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),A),h) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,B,A),(I,B,A)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,h)) is Relation-like I -defined Function-like total set
(I,(I,A,B),A) is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),A),(I,(I,A,B),h)) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
(I,(I),(I,(I,A,B),h)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,B)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,A)) is Relation-like I -defined Function-like total set
I is set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
A is Relation-like I -defined Function-like total set
(I,A,(I)) is Relation-like I -defined Function-like total set
(I,A,(I)) is Relation-like I -defined Function-like total set
(I,(I),A) is Relation-like I -defined Function-like total set
(I,(I,A,(I)),(I,(I),A)) is Relation-like I -defined Function-like total set
(I,A,(I,(I),A)) is Relation-like I -defined Function-like total set
(I,A,(I)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
(I,A,A) is Relation-like I -defined Function-like total set
(I,A,A) is Relation-like I -defined Function-like total set
(I,(I,A,A),(I,A,A)) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,A)) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,B)) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,B)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),(I,A,B)),B) is Relation-like I -defined Function-like total set
(I,(I,A,B),B) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,(I,A,B),B)) is Relation-like I -defined Function-like total set
(I,(I,A,B),B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,B,A),(I,B,A)) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,(I,B,A),(I,B,A))) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,A)) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,B)) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,A,B)),(I,B,A)) is Relation-like I -defined Function-like total set
(I,B,(I,A,B)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,A,B)),(I,B,(I,A,B))) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,A)) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,B,(I,A,h)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,h)),(I,B,(I,A,h))) is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,(I,B,A),h) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),h),(I,(I,B,A),h)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,h)),(I,(I,B,A),h)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,h,B) is Relation-like I -defined Function-like total set
(I,(I,B,h),(I,h,B)) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,h)),(I,(I,A,B),h)) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,(I,B,h),(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,(I,(I,B,h),(I,B,h))) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,h)),(I,A,(I,B,h))) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,A)) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,h,(I,A,B)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),h),(I,h,(I,A,B))) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,h,B) is Relation-like I -defined Function-like total set
(I,(I,B,h),(I,h,B)) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,B,h),A) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,h)),(I,(I,B,h),A)) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,h) is Relation-like I -defined Function-like total set
(I,B,(I,A,h)) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,h,(I,A,B)) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,(I,A,B),h) is Relation-like I -defined Function-like total set
(I,(I,B,A),h) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),h),(I,(I,B,A),h)) is Relation-like I -defined Function-like total set
(I,h,(I,(I,A,B),(I,B,A))) is Relation-like I -defined Function-like total set
(I,(I,(I,(I,A,B),h),(I,(I,B,A),h)),(I,h,(I,(I,A,B),(I,B,A)))) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,h)),(I,(I,B,A),h)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,(I,B,h)),(I,(I,B,A),h)),(I,h,(I,(I,A,B),(I,B,A)))) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,h)),(I,B,(I,A,h))) is Relation-like I -defined Function-like total set
(I,(I,(I,A,(I,B,h)),(I,B,(I,A,h))),(I,h,(I,(I,A,B),(I,B,A)))) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,B)) is Relation-like I -defined Function-like total set
(I,h,(I,(I,A,B),(I,A,B))) is Relation-like I -defined Function-like total set
(I,(I,(I,A,(I,B,h)),(I,B,(I,A,h))),(I,h,(I,(I,A,B),(I,A,B)))) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),h),(I,h,(I,A,B))) is Relation-like I -defined Function-like total set
(I,(I,(I,A,(I,B,h)),(I,B,(I,A,h))),(I,(I,(I,A,B),h),(I,h,(I,A,B)))) is Relation-like I -defined Function-like total set
(I,(I,(I,A,(I,B,h)),(I,B,(I,A,h))),(I,(I,A,B),h)) is Relation-like I -defined Function-like total set
(I,(I,(I,(I,A,(I,B,h)),(I,B,(I,A,h))),(I,(I,A,B),h)),(I,h,(I,A,B))) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,h)),(I,(I,A,B),h)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,(I,B,h)),(I,(I,A,B),h)),(I,B,(I,A,h))) is Relation-like I -defined Function-like total set
(I,(I,(I,(I,A,(I,B,h)),(I,(I,A,B),h)),(I,B,(I,A,h))),(I,h,(I,A,B))) is Relation-like I -defined Function-like total set
(I,(I,B,(I,A,h)),(I,h,(I,A,B))) is Relation-like I -defined Function-like total set
(I,(I,(I,A,(I,B,h)),(I,(I,A,B),h)),(I,(I,B,(I,A,h)),(I,h,(I,A,B)))) is Relation-like I -defined Function-like total set
(I,B,h) is Relation-like I -defined Function-like total set
(I,A,(I,B,h)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,h)),(I,A,(I,B,h))) is Relation-like I -defined Function-like total set
(I,(I,(I,A,(I,B,h)),(I,A,(I,B,h))),(I,(I,B,(I,A,h)),(I,h,(I,A,B)))) is Relation-like I -defined Function-like total set
(I,(I,B,h),(I,B,h)) is Relation-like I -defined Function-like total set
(I,A,(I,(I,B,h),(I,B,h))) is Relation-like I -defined Function-like total set
(I,(I,A,(I,(I,B,h),(I,B,h))),(I,(I,B,(I,A,h)),(I,h,(I,A,B)))) is Relation-like I -defined Function-like total set
(I,A,(I,(I,B,h),(I,h,B))) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,h,(I,B,A)) is Relation-like I -defined Function-like total set
(I,(I,B,(I,A,h)),(I,h,(I,B,A))) is Relation-like I -defined Function-like total set
(I,(I,A,(I,(I,B,h),(I,h,B))),(I,(I,B,(I,A,h)),(I,h,(I,B,A)))) is Relation-like I -defined Function-like total set
(I,h,A) is Relation-like I -defined Function-like total set
(I,B,(I,h,A)) is Relation-like I -defined Function-like total set
(I,(I,h,B),A) is Relation-like I -defined Function-like total set
(I,(I,B,(I,h,A)),(I,(I,h,B),A)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,(I,B,h),(I,h,B))),(I,(I,B,(I,h,A)),(I,(I,h,B),A))) is Relation-like I -defined Function-like total set
(I,(I,B,h),A) is Relation-like I -defined Function-like total set
(I,(I,(I,B,h),A),(I,(I,h,B),A)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,(I,B,h),(I,h,B))),(I,(I,(I,B,h),A),(I,(I,h,B),A))) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
h is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,B,A)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,B,A) is Relation-like I -defined Function-like total set
(I,A,(I,B,A)) is Relation-like I -defined Function-like total set
(I,A,(I,B,A)) is Relation-like I -defined Function-like total set
(I,(I,B,A),A) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,A)),(I,(I,B,A),A)) is Relation-like I -defined Function-like total set
(I,A,A) is Relation-like I -defined Function-like total set
(I,B,(I,A,A)) is Relation-like I -defined Function-like total set
(I,(I,A,B),A) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,(I,A,B),B) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),B),A) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,B)) is Relation-like I -defined Function-like total set
(I,A,(I,B,A)) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,(I,B,A))) is Relation-like I -defined Function-like total set
(I,A,A) is Relation-like I -defined Function-like total set
(I,(I,A,B),(I,A,A)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),(I,A,A)),(I,B,A)) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,A)),(I,B,A)) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,B) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
(I,A,(I,A,B)) is Relation-like I -defined Function-like total set
(I,(I,A,B),A) is Relation-like I -defined Function-like total set
(I,(I,A,(I,A,B)),(I,(I,A,B),A)) is Relation-like I -defined Function-like total set
(I) is Relation-like I -defined Function-like total set
I --> {} is Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{