:: 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,{{}}:] is set
bool [:I,{{}}:] is set
(I,(I,A,(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
(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,{{}}:] is set
bool [:I,{{}}:] is set
(I,(I,A,(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
(I,B,A) is Relation-like I -defined Function-like total set
(I,B,(I,B,A)) is Relation-like I -defined Function-like total set
(I,B,(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,(I,B,(I,B,A)),(I,(I,B,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),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,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
(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,A,B),(I,A,B)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),(I,A,B)),(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,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,B,(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,B),B) is Relation-like I -defined Function-like total set
(I,(I,B,(I,A,B)),(I,(I,A,B),B)) is Relation-like I -defined Function-like total set
(I,A,(I,B,(I,A,B))) is Relation-like I -defined Function-like total set
(I,A,(I,B,(I,A,B))) is Relation-like I -defined Function-like total set
(I,(I,B,(I,A,B)),A) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,(I,A,B))),(I,(I,B,(I,A,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,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,A,B),(I,A,B)) is Relation-like I -defined Function-like total set
(I,(I,(I,A,B),(I,A,B)),(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,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,B,(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,B),B) is Relation-like I -defined Function-like total set
(I,(I,B,(I,A,B)),(I,(I,A,B),B)) is Relation-like I -defined Function-like total set
(I,A,(I,B,(I,A,B))) is Relation-like I -defined Function-like total set
(I,A,(I,B,(I,A,B))) is Relation-like I -defined Function-like total set
(I,(I,B,(I,A,B)),A) is Relation-like I -defined Function-like total set
(I,(I,A,(I,B,(I,A,B))),(I,(I,B,(I,A,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
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
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
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
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
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
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
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,A) is Relation-like I -defined Function-like total set
(I,h,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
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
c₅ is set
B . c₅ is set
(I,A,h) . c₅ is set
A . 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
(A . c₅) \ (h . c₅) is Element of bool (A . c₅)
bool (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 Relation-like I -defined Function-like total set
c₅ is set
A . c₅ is set
B . c₅ is set
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,B,A) is Relation-like I -defined Function-like total set
h is set
(I,B,A) . h is set
B . h is set
A . 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
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 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
h is set
(I,A,B) . h is set
A . h is set
B . h is set
(A . h) /\ (B . h) is set
(I,A,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 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
(I,A,B) . h is set
(A . h) /\ (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
(I,A,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
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
c₅ is Relation-like I -defined Function-like total set
(I,h,c₅) is Relation-like I -defined Function-like total set
(I,h,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,c₅,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,h,B) is Relation-like I -defined Function-like total set
(I,(I,h,A),(I,h,B)) is Relation-like I -defined Function-like total set
(I,(I,h,c₅),B) is Relation-like I -defined Function-like total set
(I,c₅,(I,A,B)) is Relation-like I -defined Function-like total set
(I,c₅,A) is Relation-like I -defined Function-like total set
(I,(I,c₅,A),(I,c₅,B)) is Relation-like I -defined Function-like total set
(I,(I,h,c₅),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 set
(I,A,B) . 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 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 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 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
h is set
(I,A,B) . h is set
(I,B,A) . 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
(B . h) \ (A . h) is Element of bool (B . h)
bool (B . h) is set
I is set
c₅ 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
c₅ is set
h . c₅ is set
B . 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 Relation-like I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
({}) is Relation-like {} -defined Function-like total set
{} --> {} is empty Relation-like {} -defined {{}} -valued Function-like one-to-one constant functional total quasi_total Function-yielding V25() V26() V27() V28() V30() V31() V32() Element of bool [:{},{{}}:]
[:{},{{}}:] is set
bool [:{},{{}}:] is set
I is set
({}) . I is set
I is Relation-like {} -defined Function-like total set
dom I is set
I is non empty set
A is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
the Element of I is Element of I
A . the Element of I is set
B . the Element of I is set
I is non empty set
(I) is Relation-like I -defined Function-like total set
I --> {} is non empty Relation-like I -defined {{}} -valued Function-like constant total quasi_total Element of bool [:I,{{}}:]
[:I,{{}}:] is set
bool [:I,{{}}:] is set
the Element of I is Element of I
B is Relation-like I -defined Function-like total set
B . the Element of I is set
(I) . the Element of I is set
I is non empty set
(I) is Relation-like I -defined Function-like total set
I --> {} is non empty 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 is non empty set
(I) is Relation-like I -defined Function-like total set
I --> {} is non empty 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 is non empty set
(I) is Relation-like I -defined Function-like total set
I --> {} is non empty 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 Relation-like I -defined Function-like total set
I is non empty set
(I) is Relation-like I -defined Function-like total set
I --> {} is non empty 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,A) is Relation-like I -defined Function-like total set
I is set
A is Relation-like I -defined Function-like total set
dom A is set
B is set
A . B is set
dom A is set
B is set
A . B 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 set
(I) . A is set
the set is set
{ the set } is non empty set
I --> { the set } is Relation-like non-empty I -defined {{ the set }} -valued Function-like constant total quasi_total Element of bool [:I,{{ the set }}:]
{{ the set }} is non empty set
[:I,{{ the set }}:] is set
bool [:I,{{ the set }}:] is set
B is Relation-like I -defined Function-like total set
h is set
B . h is set
I is non empty set
the Element of I is Element of I
B is Relation-like I -defined Function-like total set
B . the Element of I is set
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 set
A . B is set
B is set
A . 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 set
B . h is set
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 set
B . h is set
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 set
A . h is set
h is Relation-like I -defined Function-like total set
c₅ is set
A . c₅ is set
B . c₅ is set
x is set
f is Relation-like Function-like set
dom f is set
g is Relation-like I -defined Function-like total set
g . c₅ is set
h . c₅ is set
IFEQ (c₅,c₅,x,(h . c₅)) is set
u is set
g . u is set
A . u is set
h . u is set
IFEQ (c₅,u,x,(h . u)) 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 is set
A is Relation-like non-empty I -defined Function-like total set
B is set
A . B is set
B is Relation-like I -defined Function-like total set
h is set
B . h is set
A . h is set
I is set
A is Relation-like I -defined Function-like total set
B is Relation-like non-empty I -defined Function-like total set
h is set
B . h is set
h is Relation-like I -defined Function-like total set
c₅ is set
x is set
f is Relation-like Function-like set
dom f is set
g is Relation-like I -defined Function-like total set
g . c₅ is set
h . c₅ is set
IFEQ (c₅,c₅,x,(h . c₅)) is set
B . c₅ is set
u is set
g . u is set
B . u is set
h . u is set
IFEQ (c₅,u,x,(h . u)) is set
A . c₅ is set
u is set
g . u is set
A . u is set
h . u is set
IFEQ (c₅,u,x,(h . u)) 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 non-empty I -defined Function-like total set
c₅ is Relation-like I -defined Function-like total set
F₁() is set
I 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₁() 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
the Relation-like Function-like set is Relation-like Function-like set
I --> the Relation-like Function-like set is Relation-like I -defined { the Relation-like Function-like set } -valued Function-like constant total quasi_total Function-yielding V25() Element of bool [:I,{ the Relation-like Function-like set }:]
{ the Relation-like Function-like set } is non empty functional set
[:I,{ the Relation-like Function-like set }:] is set
bool [:I,{ the Relation-like Function-like set }:] is set
B is Relation-like I -defined Function-like total set
h is set
dom B is set
B . h is set
I is set
A is Relation-like non-empty I -defined Function-like total set
rng A is with_non-empty_elements set
dom A is set
B is set
A . B is set
I is set
I is non empty set
A is Relation-like I -defined Function-like total set
rng A is set
B is Element of rng A
dom A is set
I is set
A is Relation-like I -defined Function-like total set
rng A is set
B is set
A . B is set
dom A is set
I is set
A is Relation-like I -defined Function-like total set
B is set
A . B is set
the Element of A . B is Element of A . 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
[:(A . h),(B . h):] is set
bool [:(A . h),(B . h):] is set
the Relation-like A . h -defined B . h -valued Function-like quasi_total Element of bool [:(A . h),(B . h):] is Relation-like A . h -defined B . h -valued Function-like quasi_total Element of bool [:(A . h),(B . h):]
x is set
h is Relation-like I -defined Function-like total set
c₅ is set
dom h is set
h . c₅ is set
c₅ is Relation-like I -defined Function-like total Function-yielding V25() set
x is set
c₅ . x is Relation-like Function-like set
A . x is set
B . x is set
[:(A . x),(B . x):] is set
bool [:(A . x),(B . x):] 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 (I,A,B)
c₅ is set
dom h is set
h . c₅ is set
I is set
A is non empty set
[:I,A:] is set
bool [:I,A:] is set
B is Relation-like I -defined A -valued Function-like quasi_total Element of bool [:I,A:]
h is Relation-like A -defined Function-like total set
B * h is Relation-like Function-like set
dom h is set
rng B is set
dom B is set
dom (B * h) is set
c₅ is Relation-like I -defined Function-like set
F₁() is non empty set
I is Relation-like Function-like set
dom I is set
I is non empty set
A is Relation-like non-empty non empty-yielding I -defined Function-like total set
B is Element of I
A . 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 Function-like set
dom h is set
c₅ is Relation-like I -defined Function-like total set
x is set
c₅ . x is set
A . x is set
B . x is set
[:(A . x),(B . 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
h . x is set
c₅ . x is set
A . x is set
B . x is set
[:(A . x),(B . x):] 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 Relation-like I -defined Function-like total set
x is set
h . x is set
A . x is set
B . x is set
Funcs ((A . x),(B . x)) is set
c₅ . x is set
I is set
A is Relation-like I -defined Function-like total set
I is set
A is Relation-like non-empty I -defined Function-like total set
B is Relation-like I -defined Function-like total (I,A)
I is Relation-like Function-like Function-yielding V25() set
dom I is set
A is Relation-like Function-like Function-yielding V25() set
dom A is set
(dom I) /\ (dom A) is set
B is set
I . B is Relation-like Function-like set
A . B is Relation-like Function-like set
(I . B) * (A . B) is Relation-like Function-like set
B is Relation-like Function-like set
dom B is set
B is Relation-like Function-like set
dom B is set
h is Relation-like Function-like set
dom h is set
c₅ is set
I . c₅ is Relation-like Function-like set
A . c₅ is Relation-like Function-like set
B . c₅ is set
x is Relation-like Function-like set
f is Relation-like Function-like set
x * f is Relation-like Function-like set
h . c₅ is set
I is Relation-like Function-like Function-yielding V25() set
A is Relation-like Function-like Function-yielding V25() set
(I,A) is Relation-like Function-like set
h is set
dom (I,A) is set
(I,A) . h is set
I . h is Relation-like Function-like set
A . h is Relation-like Function-like set
c₅ is Relation-like Function-like set
x is Relation-like Function-like set
c₅ * x is Relation-like Function-like set
I is set
B is Relation-like I -defined Function-like total Function-yielding V25() set
A is Relation-like I -defined Function-like total set
h is set
B . h is Relation-like Function-like set
A . h is set
(B . h) .: (A . h) is set
h is Relation-like Function-like set
dom h is set
c₅ is Relation-like I -defined Function-like total set
x is set
c₅ . x is set
B . x is Relation-like Function-like set
A . x is set
(B . x) .: (A . 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
B . x is Relation-like Function-like set
h . x is set
f is Relation-like Function-like set
A . x is set
f .: (A . x) is set
c₅ . x 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
rng (I) is set
F₁() is non empty set
I is set
I is Relation-like F₁() -defined Function-like total set
A is Element of F₁()
I . A is set
I is non empty set
A is Relation-like I -defined Function-like total set
I is non empty set
the Element of I is Element of I
B is Relation-like I -defined Function-like total set
dom B is set
B . the Element of I is set
[ the Element of I,(B . the Element of I)] is set
{ the Element of I,(B . the Element of I)} is non empty set
{ the Element of I} is non empty set
{{ the Element of I,(B . the Element of I)},{ the Element of I}} is non empty set
I is Relation-like Function-like Function-yielding V25() set
A is Relation-like Function-like Function-yielding V25() set
B is Relation-like Function-like Function-yielding V25() set
(A,B) is Relation-like Function-like Function-yielding V25() set
(I,(A,B)) is Relation-like Function-like Function-yielding V25() set
(I,A) is Relation-like Function-like Function-yielding V25() set
((I,A),B) is Relation-like Function-like Function-yielding V25() set
dom (I,(A,B)) is set
dom (A,B) is set
dom I is set
(dom (A,B)) /\ (dom I) is set
dom B is set
dom A is set
(dom B) /\ (dom A) is set
((dom B) /\ (dom A)) /\ (dom I) is set
(dom A) /\ (dom I) is set
(dom B) /\ ((dom A) /\ (dom I)) is set
dom (I,A) is set
(dom B) /\ (dom (I,A)) is set
dom ((I,A),B) is set
x is set
(I,(A,B)) . x is Relation-like Function-like set
I . x is Relation-like Function-like set
(A,B) . x is Relation-like Function-like set
(I . x) * ((A,B) . x) is Relation-like Function-like set
A . x is Relation-like Function-like set
B . x is Relation-like Function-like set
(A . x) * (B . x) is Relation-like Function-like set
(I . x) * ((A . x) * (B . x)) is Relation-like Function-like set
(I . x) * (A . x) is Relation-like Function-like set
((I . x) * (A . x)) * (B . x) is Relation-like Function-like set
(I,A) . x is Relation-like Function-like set
((I,A) . x) * (B . x) is Relation-like Function-like set
((I,A),B) . x is Relation-like Function-like set
I is set
A is Relation-like non-empty I -defined Function-like total set
B is set
A . B is set
B is Relation-like I -defined Function-like total set
h is set
dom B is set
B . h is set
A . h is set
h is Relation-like I -defined Function-like A -compatible set
I is set
A is Relation-like non-empty I -defined Function-like total set
B is Relation-like I -defined Function-like A -compatible set
the Relation-like I -defined Function-like A -compatible total set is Relation-like I -defined Function-like A -compatible total set
the Relation-like I -defined Function-like A -compatible total set +* B is Relation-like I -defined Function-like A -compatible total set
I is set
A is set
h is Relation-like I -defined Function-like total set
B is Relation-like I -defined Function-like total set
B | A is Relation-like Function-like set
h +* (B | A) is Relation-like Function-like set
(h +* (B | A)) | A is Relation-like Function-like set
dom B is set
dom h is set
A /\ (dom h) is set
A /\ (dom B) is set
A is set
I is non empty set
[:A,I:] is set
bool [:A,I:] is set
the Element of I is Element of I
A --> the Element of I is Relation-like A -defined I -valued Function-like constant total quasi_total Element of bool [:A,I:]
{ the Element of I} is non empty set
[:A,{ the Element of I}:] is set
B is Relation-like A -defined I -valued Function-like constant total quasi_total Element of bool [:A,I:]
rng B is trivial set
I is non empty set
A is non empty set
B is non empty Relation-like I -defined A -valued Function-like total set
h is Element of I
B . h is set
B /. h is Element of A
dom B is set
I is set
A is Relation-like Function-like set
B is Relation-like I -defined Function-like total set
A +* B is Relation-like Function-like set
(A +* B) | I is Relation-like Function-like set
A | I is Relation-like Function-like set
dom (A | I) is set
dom B is set
B | I is Relation-like Function-like set
(A | I) +* (B | I) is Relation-like Function-like set
(A | I) +* B is Relation-like Function-like set
I is set
A is non empty set
B is Relation-like I -defined A -valued Function-like set
the Relation-like I -defined A -valued Function-like total set is Relation-like I -defined A -valued Function-like total set
the Relation-like I -defined A -valued Function-like total set +* B is Relation-like I -defined A -valued 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 is non empty set
A is non empty Relation-like I -defined Function-like total set
B is non empty Relation-like I -defined Function-like total set
h is Element of I
A . h is set
B . h is set
h is set
A . h is set
B . h is set