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

rng I is 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 set
bool [:I,:] is set
F1() is set
I is set
F2(I) is set
the Element of F2(I) is Element of F2(I)
B is set
h is set

dom I is set

B is set
A . B is set
F2(B) is set
I is set
c5 is set

h . c5 is set
I is non empty set

x is set
h . x is set
c5 . x is set
x is set
c5 . x is set
h . x is set
F1() is set
F2() is Relation-like F1() -defined Function-like total set
I is set
F2() . I is set
A is set

dom I is set
I is set

dom A is set
dom B is set
I is set

[:I,:] is set
bool [:I,:] is set

dom h is set

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

f is set
h . f is set
x . f is set
c5 . f is set
(x . f) \/ (c5 . f) is set
c5 is set

h . c5 is set
(h . c5) \/ (h . c5) is set

dom h is set

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

f is set
h . f is set
x . f is set
c5 . f is set
(x . f) /\ (c5 . f) is set
c5 is set

h . c5 is set
(h . c5) /\ (h . c5) is set

dom h is 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
c5 . x is set

x is set
c5 . x is set
h . x is set

x is set
c5 . x is set
h . x is set
I is set
I is 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,c5,x) is Relation-like I -defined Function-like total set
(I,x,c5) is Relation-like I -defined Function-like total set
(I,(I,c5,x),(I,x,c5)) is Relation-like I -defined Function-like total set
(I,(I,x,c5),(I,c5,x)) is Relation-like I -defined Function-like total set
I is 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 set
bool [:A,:] is set
(A) . I is set
dom (A) is set
I is set

[:I,:] is set
bool [:I,:] is set

B is set
A . B is set
(I) . B is set
I is set

(I,B,h) is Relation-like I -defined Function-like total set
c5 is set
A . c5 is set
(I,B,h) . c5 is set
B . c5 is set
h . c5 is set
(B . c5) \/ (h . c5) is set
I is set

(I,B,h) is Relation-like I -defined Function-like total set
c5 is set
A . c5 is set
B . c5 is set
(I,B,h) . c5 is set
h . c5 is set
(B . c5) /\ (h . c5) is set
c5 is set
A . c5 is set
h . c5 is set
(I,B,h) . c5 is set
B . c5 is set
(B . c5) /\ (h . c5) is set
c5 is set
A . c5 is set
(I,B,h) . c5 is set
B . c5 is set
h . c5 is set
(B . c5) /\ (h . c5) is set
I is set

c5 is set
A . c5 is set
h . c5 is set
B . c5 is set
I is set

c5 is set
B . c5 is set
h . c5 is set
A . c5 is set
I is set

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

c5 is set
h . c5 is set
A . c5 is set
B . c5 is set
(A . c5) /\ (B . c5) is set
c5 is set
h . c5 is set
A . c5 is set
B . c5 is set
(A . c5) /\ (B . c5) is set
I is set

(I,B,h) is Relation-like I -defined Function-like total set
c5 is set
A . c5 is set
B . c5 is set
(I,B,h) . c5 is set
h . c5 is set
(B . c5) \ (h . c5) is Element of bool (B . c5)
bool (B . c5) is set
I is set

h is set
A . h is set
B . h is set
I is set

h is set
A . h is set
B . h is set
I is set

c5 is set
A . c5 is set
h . c5 is set
x is set
B . c5 is set
I is 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
c5 is set
B . h is set
(A . h) \/ (B . h) is set
I is 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
c5 is set
B . h is set
(A . h) /\ (B . h) is set
I is set

(I,A,h) is Relation-like I -defined Function-like total set
c5 is set
(I,A,h) . c5 is set
B . c5 is set
A . c5 is set
h . c5 is set
(A . c5) \/ (h . c5) is set
I is set

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

(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

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

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

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

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

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

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

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

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

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

I is set

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

I is 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,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
c5 is set
(I,(I,A,B),h) . c5 is set
(I,A,(I,B,h)) . c5 is set
(I,A,B) . c5 is set
h . c5 is set
((I,A,B) . c5) \/ (h . c5) is set
A . c5 is set
B . c5 is set
(A . c5) \/ (B . c5) is set
((A . c5) \/ (B . c5)) \/ (h . c5) is set
(B . c5) \/ (h . c5) is set
(A . c5) \/ ((B . c5) \/ (h . c5)) is set
(I,B,h) . c5 is set
(A . c5) \/ ((I,B,h) . c5) is set
I is 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,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
c5 is set
(I,(I,A,B),h) . c5 is set
(I,A,(I,B,h)) . c5 is set
(I,A,B) . c5 is set
h . c5 is set
((I,A,B) . c5) /\ (h . c5) is set
A . c5 is set
B . c5 is set
(A . c5) /\ (B . c5) is set
((A . c5) /\ (B . c5)) /\ (h . c5) is set
(B . c5) /\ (h . c5) is set
(A . c5) /\ ((B . c5) /\ (h . c5)) is set
(I,B,h) . c5 is set
(A . c5) /\ ((I,B,h) . c5) is set
I is 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

(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

(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,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
c5 is set
(I,A,(I,B,h)) . c5 is set
(I,(I,A,B),(I,A,h)) . c5 is set
A . c5 is set
(I,B,h) . c5 is set
(A . c5) /\ ((I,B,h) . c5) is set
B . c5 is set
h . c5 is set
(B . c5) \/ (h . c5) is set
(A . c5) /\ ((B . c5) \/ (h . c5)) is set
(A . c5) /\ (B . c5) is set
(A . c5) /\ (h . c5) is set
((A . c5) /\ (B . c5)) \/ ((A . c5) /\ (h . c5)) is set
(I,A,B) . c5 is set
((I,A,B) . c5) \/ ((A . c5) /\ (h . c5)) is set
(I,A,h) . c5 is set
((I,A,B) . c5) \/ ((I,A,h) . c5) is set
I is set

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

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

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

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

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

I is set

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

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

(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,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 set
bool [:I,:] is set

B is set
(I) . B is set
A . B is set
h is set
I is set

[:I,:] is set
bool [:I,:] is set

I is set

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

[:I,:] is set
bool [:I,:] is set
I is set

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

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

[:I,:] is set
bool [:I,:] is set
(I,A,(I)) is Relation-like I -defined Function-like total set

[:B,:] is set
bool [:B,:] is set

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

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

[:I,:] is set
bool [:I,:] is set
I is set

[:I,:] is set
bool [:I,:] is set
(I,A,(I)) is Relation-like I -defined Function-like total set
I is set

[:I,:] is set
bool [:I,:] is 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

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

[:I,:] is set
bool [:I,:] is set
I is set

[:I,:] is set
bool [:I,:] is 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

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

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

(I,A,c5) is Relation-like I -defined Function-like total set
(I,B,c5) is Relation-like I -defined Function-like total set
I is 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 set
bool [:I,:] is 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

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

[:I,:] is set
bool [:I,:] is set
I is set

[:I,:] is set
bool [:I,:] is 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 set
bool [:I,:] is set

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

[:I,:] is set
bool [:I,:] is 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

(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,B),h) is Relation-like I -defined Function-like total set
c5 is set
(I,A,(I,B,h)) . c5 is set
(I,(I,A,B),h) . c5 is set
A . c5 is set
(I,B,h) . c5 is set
(A . c5) /\ ((I,B,h) . c5) is set
B . c5 is set
h . c5 is set
(B . c5) \ (h . c5) is Element of bool (B . c5)
bool (B . c5) is set
(A . c5) /\ ((B . c5) \ (h . c5)) is Element of bool (B . c5)
(A . c5) /\ (B . c5) is set
((A . c5) /\ (B . c5)) \ (h . c5) is Element of bool ((A . c5) /\ (B . c5))
bool ((A . c5) /\ (B . c5)) is set
(I,A,B) . c5 is set
((I,A,B) . c5) \ (h . c5) is Element of bool ((I,A,B) . c5)
bool ((I,A,B) . c5) is set
I is set

[:I,:] is set
bool [:I,:] is 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

(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,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
c5 is set
(I,A,(I,B,h)) . c5 is set
(I,(I,A,B),(I,A,h)) . c5 is set
A . c5 is set
(I,B,h) . c5 is set
(A . c5) \ ((I,B,h) . c5) is Element of bool (A . c5)
bool (A . c5) is set
B . c5 is set
h . c5 is set
(B . c5) \ (h . c5) is Element of bool (B . c5)
bool (B . c5) is set
(A . c5) \ ((B . c5) \ (h . c5)) is Element of bool (A . c5)
(A . c5) \ (B . c5) is Element of bool (A . c5)
(A . c5) /\ (h . c5) is set
((A . c5) \ (B . c5)) \/ ((A . c5) /\ (h . c5)) is set
(I,A,h) . c5 is set
((A . c5) \ (B . c5)) \/ ((I,A,h) . c5) is set
(I,A,B) . c5 is set
((I,A,B) . c5) \/ ((I,A,h) . c5) is set
I is 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 set
bool [:I,:] is set
(I,A,(I)) is Relation-like I -defined Function-like total set
I is 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

(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

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

(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,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
c5 is set
(I,A,(I,B,h)) . c5 is set
(I,(I,A,B),(I,A,h)) . c5 is set
A . c5 is set
(I,B,h) . c5 is set
(A . c5) \ ((I,B,h) . c5) is Element of bool (A . c5)
bool (A . c5) is set
B . c5 is set
h . c5 is set
(B . c5) /\ (h . c5) is set
(A . c5) \ ((B . c5) /\ (h . c5)) is Element of bool (A . c5)
(A . c5) \ (B . c5) is Element of bool (A . c5)
(A . c5) \ (h . c5) is Element of bool (A . c5)
((A . c5) \ (B . c5)) \/ ((A . c5) \ (h . c5)) is Element of bool (A . c5)
(I,A,h) . c5 is set
((A . c5) \ (B . c5)) \/ ((I,A,h) . c5) is set
(I,A,B) . c5 is set
((I,A,B) . c5) \/ ((I,A,h) . c5) is set
I is 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 set
bool [:I,:] is set
(I,(I),(I,A,B)) is Relation-like I -defined Function-like total set
I is set

[:I,:] is set
bool [:I,:] is 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

(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,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
c5 is set
(I,(I,A,B),h) . c5 is set
(I,(I,A,h),(I,B,h)) . c5 is set
(I,A,B) . c5 is set
h . c5 is set
((I,A,B) . c5) \ (h . c5) is Element of bool ((I,A,B) . c5)
bool ((I,A,B) . c5) is set
A . c5 is set
B . c5 is set
(A . c5) \/ (B . c5) is set
((A . c5) \/ (B . c5)) \ (h . c5) is Element of bool ((A . c5) \/ (B . c5))
bool ((A . c5) \/ (B . c5)) is set
(A . c5) \ (h . c5) is Element of bool (A . c5)
bool (A . c5) is set
(B . c5) \ (h . c5) is Element of bool (B . c5)
bool (B . c5) is set
((A . c5) \ (h . c5)) \/ ((B . c5) \ (h . c5)) is set
(I,B,h) . c5 is set
((A . c5) \ (h . c5)) \/ ((I,B,h) . c5) is set
(I,A,h) . c5 is set
((I,A,h) . c5) \/ ((I,B,h) . c5) is set
I is 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,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
c5 is set
(I,(I,A,B),h) . c5 is set
(I,A,(I,B,h)) . c5 is set
(I,A,B) . c5 is set
h . c5 is set
((I,A,B) . c5) \ (h . c5) is Element of bool ((I,A,B) . c5)
bool ((I,A,B) . c5) is set
A . c5 is set
B . c5 is set
(A . c5) \ (B . c5) is Element of bool (A . c5)
bool (A . c5) is set
((A . c5) \ (B . c5)) \ (h . c5) is Element of bool (A . c5)
(B . c5) \/ (h . c5) is set
(A . c5) \ ((B . c5) \/ (h . c5)) is Element of bool (A . c5)
(I,B,h) . c5 is set
(A . c5) \ ((I,B,h) . c5) is Element of bool (A . c5)
I is 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,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 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

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

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

(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

(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

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

(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

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

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

(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 set
bool [:I,:] is 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

(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 set
bool [:I,:] is set
I is 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

(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

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

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

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

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

(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

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