:: 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

I is set

F

the Element of F

B is set

h is set

I is Relation-like Function-like set

dom I is set

A is Relation-like F

B is set

A . B is set

F

I is set

c

h is Relation-like I -defined Function-like total set

h . c

I is non empty set

h is Relation-like I -defined Function-like total set

c

x is set

h . x is set

c

x is set

c

h . x is set

F

F

I is set

F

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

x is set

h . x is set

A . x is set

B . x is set

(A . x) \/ (B . x) is set

c

h is Relation-like I -defined Function-like total set

c

x is Relation-like I -defined Function-like total set

f is set

h . f is set

x . f is set

c

(x . f) \/ (c

c

h is Relation-like I -defined Function-like total set

h . c

(h . c

h is Relation-like Function-like set

dom h is set

h is Relation-like I -defined Function-like total set

c

x is set

h . x is set

A . x is set

B . x is set

(A . x) /\ (B . x) is set

c

h is Relation-like I -defined Function-like total set

c

x is Relation-like I -defined Function-like total set

f is set

h . f is set

x . f is set

c

(x . f) /\ (c

c

h is Relation-like I -defined Function-like total set

h . c

(h . c

h is Relation-like Function-like set

dom h is set

h is Relation-like I -defined Function-like total set

c

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

h is Relation-like I -defined Function-like total set

c

x is set

c

h . x is set

h is Relation-like I -defined Function-like total set

c

x is set

c

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

x is Relation-like I -defined Function-like total set

(I,c

(I,x,c

(I,(I,c

(I,(I,x,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

(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

A . c

(I,B,h) . c

B . c

h . c

(B . 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

A . c

B . c

(I,B,h) . c

h . c

(B . c

c

A . c

h . c

(I,B,h) . c

B . c

(B . c

c

A . c

(I,B,h) . c

B . c

h . c

(B . 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

c

A . c

h . c

B . 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

c

B . c

h . c

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

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

h . c

A . c

B . c

(A . c

c

h . c

A . c

B . c

(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

h is Relation-like I -defined Function-like total set

(I,B,h) is Relation-like I -defined Function-like total set

c

A . c

B . c

(I,B,h) . c

h . c

(B . c

bool (B . 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 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

A . c

h . c

x is set

B . 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 set

A . h is set

(I,A,B) . h is set

c

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

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

(I,A,h) . c

B . c

A . c

h . c

(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

h is Relation-like I -defined Function-like total set

(I,B,h) is Relation-like I -defined Function-like total set

c

A . c

(I,B,h) . c

B . c

h . c

(B . 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,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

(I,B,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,A,h) is Relation-like I -defined Function-like total set

c

(I,B,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

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

(I,A,(I,h,B)) . c

(I,(I,A,h),B) . c

A . c

B . c

(I,h,B) . c

(A . c

h . c

(h . c

(A . c

(A . c

((A . c

(I,A,h) . c

((I,A,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

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

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

(I,(I,A,B),h) . c

(I,A,(I,B,h)) . c

(I,A,B) . c

h . c

((I,A,B) . c

A . c

B . c

(A . c

((A . c

(B . c

(A . c

(I,B,h) . c

(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,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

(I,(I,A,B),h) . c

(I,A,(I,B,h)) . c

(I,A,B) . c

h . c

((I,A,B) . c

A . c

B . c

(A . c

((A . c

(B . c

(A . c

(I,B,h) . c

(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

(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

(I,A,(I,B,h)) . c

(I,(I,A,B),(I,A,h)) . c

A . c

(I,B,h) . c

(A . c

B . c

h . c

(B . c

(A . c

(A . c

(A . c

((A . c

(I,A,B) . c

((I,A,B) . c

(I,A,h) . c

((I,A,B) . 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,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

(I,A,h) . c

A . c

h . c

(A . c

bool (A . c

(I,B,h) . c

B . c

(B . c

bool (B . 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,h,B) is Relation-like I -defined Function-like total set

(I,h,A) is Relation-like I -defined Function-like total set

c

(I,h,A) . c

h . c

A . c

(h . c

bool (h . c

(I,h,B) . c

B . c

(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

(I,A,c

(I,B,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 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

(I,A,(I,B,h)) . c

(I,(I,A,B),h) . c

A . c

(I,B,h) . c

(A . c

B . c

h . c

(B . c

bool (B . c

(A . c

(A . c

((A . c

bool ((A . c

(I,A,B) . c

((I,A,B) . c

bool ((I,A,B) . c

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

(I,A,(I,B,h)) . c

(I,(I,A,B),(I,A,h)) . c

A . c

(I,B,h) . c

(A . c

bool (A . c

B . c

h . c

(B . c

bool (B . c

(A . c

(A . c

(A . c

((A . c

(I,A,h) . c

((A . c

(I,A,B) . c

((I,A,B) . 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

(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

(I,A,(I,B,h)) . c

(I,(I,A,B),(I,A,h)) . c

A . c

(I,B,h) . c

(A . c

bool (A . c

B . c

h . c

(B . c

(A . c

(A . c

(A . c

((A . c

(I,A,h) . c

((A . c

(I,A,B) . c

((I,A,B) . 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

(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

(I,(I,A,B),h) . c

(I,(I,A,h),(I,B,h)) . c

(I,A,B) . c

h . c

((I,A,B) . c

bool ((I,A,B) . c

A . c

B . c

(A . c

((A . c

bool ((A . c

(A . c

bool (A . c

(B . c

bool (B . c

((A . c

(I,B,h) . c

((A . c

(I,A,h) . c

((I,A,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

(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

(I,(I,A,B),h) . c

(I,A,(I,B,h)) . c

(I,A,B) . c

h . c

((I,A,B) . c

bool ((I,A,B) . c

A . c

B . c

(A . c

bool (A . c

((A . c

(B . c

(A . c

(I,B,h) . c

(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,{