:: WELLORD1 semantic presentation

{} is set

the empty Relation-like non-empty empty-yielding Function-like one-to-one constant functional set is empty Relation-like non-empty empty-yielding Function-like one-to-one constant functional set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

[S,S] is set

{S,S} is set

{S} is set

{{S,S},{S}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

a is set

[S,a] is set

{S,a} is set

{S} is set

{{S,a},{S}} is set

F is set

[a,F] is set

{a,F} is set

{a} is set

{{a,F},{a}} is set

[S,F] is set

{S,F} is set

{{S,F},{S}} is set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

a is set

F is set

[S,a] is set

{S,a} is set

{S} is set

{{S,a},{S}} is set

[a,F] is set

{a,F} is set

{a} is set

{{a,F},{a}} is set

[S,F] is set

{S,F} is set

{{S,F},{S}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

a is set

[S,a] is set

{S,a} is set

{S} is set

{{S,a},{S}} is set

[a,S] is set

{a,S} is set

{a} is set

{{a,S},{a}} is set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

a is set

[S,a] is set

{S,a} is set

{S} is set

{{S,a},{S}} is set

[a,S] is set

{a,S} is set

{a} is set

{{a,S},{a}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

a is set

[S,a] is set

{S,a} is set

{S} is set

{{S,a},{S}} is set

[a,S] is set

{a,S} is set

{a} is set

{{a,S},{a}} is set

R is Relation-like set

S is set

Coim (R,S) is set

{S} is set

R " {S} is set

(Coim (R,S)) \ {S} is Element of bool (Coim (R,S))

bool (Coim (R,S)) is set

R is set

S is set

[R,S] is set

{R,S} is set

{R} is set

{{R,S},{R}} is set

a is Relation-like set

(a,S) is set

Coim (a,S) is set

{S} is set

a " {S} is set

(Coim (a,S)) \ {S} is Element of bool (Coim (a,S))

bool (Coim (a,S)) is set

F is set

[R,F] is set

{R,F} is set

{{R,F},{R}} is set

R is set

S is Relation-like set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

(S,R) is set

Coim (S,R) is set

{R} is set

S " {R} is set

(Coim (S,R)) \ {R} is Element of bool (Coim (S,R))

bool (Coim (S,R)) is set

the Element of (S,R) is Element of (S,R)

[ the Element of (S,R),R] is set

{ the Element of (S,R),R} is set

{ the Element of (S,R)} is set

{{ the Element of (S,R),R},{ the Element of (S,R)}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

S is set

R is Relation-like set

R is Relation-like set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

R is set

S is Relation-like set

a is set

F is set

(S,F) is set

Coim (S,F) is set

{F} is set

S " {F} is set

(Coim (S,F)) \ {F} is Element of bool (Coim (S,F))

bool (Coim (S,F)) is set

c is set

[F,c] is set

{F,c} is set

{{F,c},{F}} is set

[c,F] is set

{c,F} is set

{c} is set

{{c,F},{c}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

a is set

(R,a) is set

Coim (R,a) is set

{a} is set

R " {a} is set

(Coim (R,a)) \ {a} is Element of bool (Coim (R,a))

bool (Coim (R,a)) is set

F is set

[a,F] is set

{a,F} is set

{{a,F},{a}} is set

[F,a] is set

{F,a} is set

{F} is set

{{F,a},{F}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

a is set

[a,S] is set

{a,S} is set

{a} is set

{{a,S},{a}} is set

F is set

c is set

c is set

[S,c] is set

{S,c} is set

{S} is set

{{S,c},{S}} is set

[c,S] is set

{c,S} is set

{c} is set

{{c,S},{c}} is set

b is set

[S,b] is set

{S,b} is set

{{S,b},{S}} is set

[c,b] is set

{c,b} is set

{{c,b},{c}} is set

[b,S] is set

{b,S} is set

{b} is set

{{b,S},{b}} is set

R is set

S is Relation-like set

(S,R) is set

Coim (S,R) is set

{R} is set

S " {R} is set

(Coim (S,R)) \ {R} is Element of bool (Coim (S,R))

bool (Coim (S,R)) is set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

a is set

[a,R] is set

{a,R} is set

{a} is set

{{a,R},{a}} is set

R is Relation-like set

S is set

[:S,S:] is Relation-like set

R /\ [:S,S:] is Relation-like set

R is set

S is Relation-like set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

R |` S is Relation-like set

(R |` S) | R is Relation-like set

a is set

F is set

[a,F] is set

{a,F} is set

{a} is set

{{a,F},{a}} is set

R is set

S is Relation-like set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

S | R is Relation-like set

R |` (S | R) is Relation-like set

R |` S is Relation-like set

(R |` S) | R is Relation-like set

R is set

S is Relation-like set

R |` S is Relation-like set

dom (R |` S) is set

dom S is set

a is set

F is set

[a,F] is set

{a,F} is set

{a} is set

{{a,F},{a}} is set

R is set

S is set

a is Relation-like set

(a,S) is Relation-like set

[:S,S:] is Relation-like set

a /\ [:S,S:] is Relation-like set

field (a,S) is set

dom (a,S) is set

rng (a,S) is set

(dom (a,S)) \/ (rng (a,S)) is set

field a is set

dom a is set

rng a is set

(dom a) \/ (rng a) is set

S |` a is Relation-like set

(S |` a) | S is Relation-like set

dom ((S |` a) | S) is set

dom (S |` a) is set

(dom (S |` a)) /\ S is set

a | S is Relation-like set

S |` (a | S) is Relation-like set

rng (S |` (a | S)) is set

rng (a | S) is set

(rng (a | S)) /\ S is set

R is set

S is Relation-like set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

field (S,R) is set

dom (S,R) is set

rng (S,R) is set

(dom (S,R)) \/ (rng (S,R)) is set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

a is set

F is set

R is set

S is set

a is Relation-like set

(a,R) is Relation-like set

[:R,R:] is Relation-like set

a /\ [:R,R:] is Relation-like set

((a,R),S) is set

Coim ((a,R),S) is set

{S} is set

(a,R) " {S} is set

(Coim ((a,R),S)) \ {S} is Element of bool (Coim ((a,R),S))

bool (Coim ((a,R),S)) is set

(a,S) is set

Coim (a,S) is set

a " {S} is set

(Coim (a,S)) \ {S} is Element of bool (Coim (a,S))

bool (Coim (a,S)) is set

F is set

[F,S] is set

{F,S} is set

{F} is set

{{F,S},{F}} is set

R is set

S is Relation-like set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

a is set

field (S,R) is set

dom (S,R) is set

rng (S,R) is set

(dom (S,R)) \/ (rng (S,R)) is set

[a,a] is set

{a,a} is set

{a} is set

{{a,a},{a}} is set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

R is set

S is Relation-like set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

a is set

field (S,R) is set

dom (S,R) is set

rng (S,R) is set

(dom (S,R)) \/ (rng (S,R)) is set

F is set

[a,F] is set

{a,F} is set

{a} is set

{{a,F},{a}} is set

[F,a] is set

{F,a} is set

{F} is set

{{F,a},{F}} is set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

R is set

S is Relation-like set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

a is set

F is set

[a,F] is set

{a,F} is set

{a} is set

{{a,F},{a}} is set

c is set

[F,c] is set

{F,c} is set

{F} is set

{{F,c},{F}} is set

[a,c] is set

{a,c} is set

{{a,c},{a}} is set

R is set

S is Relation-like set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

a is set

F is set

[a,F] is set

{a,F} is set

{a} is set

{{a,F},{a}} is set

[F,a] is set

{F,a} is set

{F} is set

{{F,a},{F}} is set

R is set

S is set

R /\ S is set

a is Relation-like set

(a,R) is Relation-like set

[:R,R:] is Relation-like set

a /\ [:R,R:] is Relation-like set

((a,R),S) is Relation-like set

[:S,S:] is Relation-like set

(a,R) /\ [:S,S:] is Relation-like set

(a,(R /\ S)) is Relation-like set

[:(R /\ S),(R /\ S):] is Relation-like set

a /\ [:(R /\ S),(R /\ S):] is Relation-like set

[:R,R:] /\ [:S,S:] is Relation-like set

a /\ ([:R,R:] /\ [:S,S:]) is Relation-like set

R is set

S is set

a is Relation-like set

(a,R) is Relation-like set

[:R,R:] is Relation-like set

a /\ [:R,R:] is Relation-like set

((a,R),S) is Relation-like set

[:S,S:] is Relation-like set

(a,R) /\ [:S,S:] is Relation-like set

(a,S) is Relation-like set

a /\ [:S,S:] is Relation-like set

((a,S),R) is Relation-like set

(a,S) /\ [:R,R:] is Relation-like set

S /\ R is set

(a,(S /\ R)) is Relation-like set

[:(S /\ R),(S /\ R):] is Relation-like set

a /\ [:(S /\ R),(S /\ R):] is Relation-like set

R is set

S is Relation-like set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

((S,R),R) is Relation-like set

(S,R) /\ [:R,R:] is Relation-like set

a is set

F is set

[a,F] is set

{a,F} is set

{a} is set

{{a,F},{a}} is set

R is set

S is set

a is Relation-like set

(a,S) is Relation-like set

[:S,S:] is Relation-like set

a /\ [:S,S:] is Relation-like set

((a,S),R) is Relation-like set

[:R,R:] is Relation-like set

(a,S) /\ [:R,R:] is Relation-like set

(a,R) is Relation-like set

a /\ [:R,R:] is Relation-like set

F is set

c is set

[F,c] is set

{F,c} is set

{F} is set

{{F,c},{F}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

(R,(field R)) is Relation-like set

[:(field R),(field R):] is Relation-like set

R /\ [:(field R),(field R):] is Relation-like set

S is set

a is set

[S,a] is set

{S,a} is set

{S} is set

{{S,a},{S}} is set

R is set

S is Relation-like set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

field (S,R) is set

dom (S,R) is set

rng (S,R) is set

(dom (S,R)) \/ (rng (S,R)) is set

a is set

F is set

(S,F) is set

Coim (S,F) is set

{F} is set

S " {F} is set

(Coim (S,F)) \ {F} is Element of bool (Coim (S,F))

bool (Coim (S,F)) is set

((S,R),F) is set

Coim ((S,R),F) is set

(S,R) " {F} is set

(Coim ((S,R),F)) \ {F} is Element of bool (Coim ((S,R),F))

bool (Coim ((S,R),F)) is set

c is set

R is set

S is Relation-like set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

R is set

S is set

a is Relation-like set

(a,R) is set

Coim (a,R) is set

{R} is set

a " {R} is set

(Coim (a,R)) \ {R} is Element of bool (Coim (a,R))

bool (Coim (a,R)) is set

(a,S) is set

Coim (a,S) is set

{S} is set

a " {S} is set

(Coim (a,S)) \ {S} is Element of bool (Coim (a,S))

bool (Coim (a,S)) is set

field a is set

dom a is set

rng a is set

(dom a) \/ (rng a) is set

[S,R] is set

{S,R} is set

{{S,R},{S}} is set

F is set

[F,S] is set

{F,S} is set

{F} is set

{{F,S},{F}} is set

[F,R] is set

{F,R} is set

{{F,R},{F}} is set

[R,S] is set

{R,S} is set

{{R,S},{R}} is set

F is set

[F,R] is set

{F,R} is set

{F} is set

{{F,R},{F}} is set

[F,S] is set

{F,S} is set

{{F,S},{F}} is set

R is set

S is set

a is Relation-like set

(a,S) is set

Coim (a,S) is set

{S} is set

a " {S} is set

(Coim (a,S)) \ {S} is Element of bool (Coim (a,S))

bool (Coim (a,S)) is set

(a,(a,S)) is Relation-like set

[:(a,S),(a,S):] is Relation-like set

a /\ [:(a,S),(a,S):] is Relation-like set

((a,(a,S)),R) is set

Coim ((a,(a,S)),R) is set

{R} is set

(a,(a,S)) " {R} is set

(Coim ((a,(a,S)),R)) \ {R} is Element of bool (Coim ((a,(a,S)),R))

bool (Coim ((a,(a,S)),R)) is set

(a,R) is set

Coim (a,R) is set

a " {R} is set

(Coim (a,R)) \ {R} is Element of bool (Coim (a,R))

bool (Coim (a,R)) is set

c is set

[c,R] is set

{c,R} is set

{c} is set

{{c,R},{c}} is set

[R,S] is set

{R,S} is set

{{R,S},{R}} is set

[c,S] is set

{c,S} is set

{{c,S},{c}} is set

c is set

[c,R] is set

{c,R} is set

{c} is set

{{c,R},{c}} is set

R is set

S is Relation-like set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

a is set

(S,a) is set

Coim (S,a) is set

{a} is set

S " {a} is set

(Coim (S,a)) \ {a} is Element of bool (Coim (S,a))

bool (Coim (S,a)) is set

F is set

[F,a] is set

{F,a} is set

{F} is set

{{F,a},{F}} is set

c is set

[c,F] is set

{c,F} is set

{c} is set

{{c,F},{c}} is set

[c,a] is set

{c,a} is set

{{c,a},{c}} is set

a is set

(S,a) is set

Coim (S,a) is set

{a} is set

S " {a} is set

(Coim (S,a)) \ {a} is Element of bool (Coim (S,a))

bool (Coim (S,a)) is set

F is set

c is set

[c,F] is set

{c,F} is set

{c} is set

{{c,F},{c}} is set

(field S) \ R is Element of bool (field S)

bool (field S) is set

a is set

F is set

a is set

F is set

(S,a) is set

Coim (S,a) is set

{a} is set

S " {a} is set

(Coim (S,a)) \ {a} is Element of bool (Coim (S,a))

bool (Coim (S,a)) is set

[F,a] is set

{F,a} is set

{F} is set

{{F,a},{F}} is set

[a,F] is set

{a,F} is set

{{a,F},{a}} is set

F is set

[F,a] is set

{F,a} is set

{F} is set

{{F,a},{F}} is set

[a,F] is set

{a,F} is set

{{a,F},{a}} is set

R is set

S is set

[R,S] is set

{R,S} is set

{R} is set

{{R,S},{R}} is set

a is Relation-like set

field a is set

dom a is set

rng a is set

(dom a) \/ (rng a) is set

(a,R) is set

Coim (a,R) is set

a " {R} is set

(Coim (a,R)) \ {R} is Element of bool (Coim (a,R))

bool (Coim (a,R)) is set

(a,S) is set

Coim (a,S) is set

{S} is set

a " {S} is set

(Coim (a,S)) \ {S} is Element of bool (Coim (a,S))

bool (Coim (a,S)) is set

F is set

[F,R] is set

{F,R} is set

{F} is set

{{F,R},{F}} is set

[F,S] is set

{F,S} is set

{{F,S},{F}} is set

[S,R] is set

{S,R} is set

{{S,R},{S}} is set

R is set

S is set

a is Relation-like set

field a is set

dom a is set

rng a is set

(dom a) \/ (rng a) is set

(a,R) is set

Coim (a,R) is set

{R} is set

a " {R} is set

(Coim (a,R)) \ {R} is Element of bool (Coim (a,R))

bool (Coim (a,R)) is set

(a,S) is set

Coim (a,S) is set

{S} is set

a " {S} is set

(Coim (a,S)) \ {S} is Element of bool (Coim (a,S))

bool (Coim (a,S)) is set

[R,S] is set

{R,S} is set

{{R,S},{R}} is set

[R,S] is set

{R,S} is set

{{R,S},{R}} is set

R is set

S is Relation-like set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

field (S,R) is set

dom (S,R) is set

rng (S,R) is set

(dom (S,R)) \/ (rng (S,R)) is set

a is set

[a,a] is set

{a,a} is set

{a} is set

{{a,a},{a}} is set

R is set

S is Relation-like set

(S,R) is set

Coim (S,R) is set

{R} is set

S " {R} is set

(Coim (S,R)) \ {R} is Element of bool (Coim (S,R))

bool (Coim (S,R)) is set

(S,(S,R)) is Relation-like set

[:(S,R),(S,R):] is Relation-like set

S /\ [:(S,R),(S,R):] is Relation-like set

field (S,(S,R)) is set

dom (S,(S,R)) is set

rng (S,(S,R)) is set

(dom (S,(S,R))) \/ (rng (S,(S,R))) is set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

a is set

F is set

(R,a) is set

Coim (R,a) is set

{a} is set

R " {a} is set

(Coim (R,a)) \ {a} is Element of bool (Coim (R,a))

bool (Coim (R,a)) is set

[F,a] is set

{F,a} is set

{F} is set

{{F,a},{F}} is set

a is set

(field R) \ S is Element of bool (field R)

bool (field R) is set

F is set

c is set

[c,F] is set

{c,F} is set

{c} is set

{{c,F},{c}} is set

[F,c] is set

{F,c} is set

{F} is set

{{F,c},{F}} is set

R is set

S is set

[R,S] is set

{R,S} is set

{R} is set

{{R,S},{R}} is set

a is Relation-like set

field a is set

dom a is set

rng a is set

(dom a) \/ (rng a) is set

(a,R) is set

Coim (a,R) is set

a " {R} is set

(Coim (a,R)) \ {R} is Element of bool (Coim (a,R))

bool (Coim (a,R)) is set

[S,R] is set

{S,R} is set

{S} is set

{{S,R},{S}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is Relation-like Function-like set

dom S is set

rng S is set

a is set

F is set

(R,F) is set

Coim (R,F) is set

{F} is set

R " {F} is set

(Coim (R,F)) \ {F} is Element of bool (Coim (R,F))

bool (Coim (R,F)) is set

c is set

S . c is set

[c,(S . c)] is set

{c,(S . c)} is set

{c} is set

{{c,(S . c)},{c}} is set

[c,F] is set

{c,F} is set

{{c,F},{c}} is set

S . F is set

[(S . c),(S . F)] is set

{(S . c),(S . F)} is set

{(S . c)} is set

{{(S . c),(S . F)},{(S . c)}} is set

[c,(S . F)] is set

{c,(S . F)} is set

{{c,(S . F)},{c}} is set

[F,(S . F)] is set

{F,(S . F)} is set

{{F,(S . F)},{F}} is set

F is set

S . F is set

[F,(S . F)] is set

{F,(S . F)} is set

{F} is set

{{F,(S . F)},{F}} is set

R is Relation-like set

S is Relation-like set

a is Relation-like Function-like set

dom a is set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

F is set

a . F is set

c is set

[F,c] is set

{F,c} is set

{F} is set

{{F,c},{F}} is set

a . c is set

[(a . F),(a . c)] is set

{(a . F),(a . c)} is set

{(a . F)} is set

{{(a . F),(a . c)},{(a . F)}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

id (field R) is Relation-like field R -defined field R -valued Function-like one-to-one set

S is set

a is set

[S,a] is set

{S,a} is set

{S} is set

{{S,a},{S}} is set

(id (field R)) . S is set

(id (field R)) . a is set

[((id (field R)) . S),((id (field R)) . a)] is set

{((id (field R)) . S),((id (field R)) . a)} is set

{((id (field R)) . S)} is set

{{((id (field R)) . S),((id (field R)) . a)},{((id (field R)) . S)}} is set

dom (id (field R)) is set

rng (id (field R)) is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

id (field R) is Relation-like field R -defined field R -valued Function-like one-to-one set

R is Relation-like set

S is Relation-like set

a is Relation-like Function-like set

a " is Relation-like Function-like set

rng a is set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

dom (a ") is set

rng (a ") is set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

dom a is set

F is set

(a ") . F is set

c is set

[F,c] is set

{F,c} is set

{F} is set

{{F,c},{F}} is set

(a ") . c is set

[((a ") . F),((a ") . c)] is set

{((a ") . F),((a ") . c)} is set

{((a ") . F)} is set

{{((a ") . F),((a ") . c)},{((a ") . F)}} is set

a . ((a ") . F) is set

a . ((a ") . c) is set

a . ((a ") . F) is set

a . ((a ") . c) is set

R is Relation-like set

S is Relation-like set

a is Relation-like Function-like set

a " is Relation-like Function-like set

R is Relation-like set

S is Relation-like set

a is Relation-like set

F is Relation-like Function-like set

c is Relation-like Function-like set

F * c is Relation-like Function-like set

dom F is set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

rng F is set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

dom c is set

rng c is set

field a is set

dom a is set

rng a is set

(dom a) \/ (rng a) is set

dom (F * c) is set

rng (F * c) is set

b is set

(F * c) . b is set

b is set

[b,b] is set

{b,b} is set

{b} is set

{{b,b},{b}} is set

(F * c) . b is set

[((F * c) . b),((F * c) . b)] is set

{((F * c) . b),((F * c) . b)} is set

{((F * c) . b)} is set

{{((F * c) . b),((F * c) . b)},{((F * c) . b)}} is set

F . b is set

c . (F . b) is set

F . b is set

c . (F . b) is set

[(F . b),(F . b)] is set

{(F . b),(F . b)} is set

{(F . b)} is set

{{(F . b),(F . b)},{(F . b)}} is set

F . b is set

c . (F . b) is set

F . b is set

c . (F . b) is set

[(F . b),(F . b)] is set

{(F . b),(F . b)} is set

{(F . b)} is set

{{(F . b),(F . b)},{(F . b)}} is set

R is Relation-like set

S is Relation-like set

a is Relation-like set

F is Relation-like Function-like set

c is Relation-like Function-like set

F * c is Relation-like Function-like set

R is Relation-like set

S is Relation-like set

a is Relation-like Function-like set

dom a is set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

rng a is set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

a " is Relation-like Function-like set

rng (a ") is set

dom (a ") is set

F is set

(a ") . F is set

[((a ") . F),((a ") . F)] is set

{((a ") . F),((a ") . F)} is set

{((a ") . F)} is set

{{((a ") . F),((a ") . F)},{((a ") . F)}} is set

a . ((a ") . F) is set

[F,F] is set

{F,F} is set

{F} is set

{{F,F},{F}} is set

F is set

c is set

[F,c] is set

{F,c} is set

{F} is set

{{F,c},{F}} is set

b is set

[c,b] is set

{c,b} is set

{c} is set

{{c,b},{c}} is set

(a ") . b is set

a . ((a ") . b) is set

(a ") . c is set

a . ((a ") . c) is set

[((a ") . c),((a ") . b)] is set

{((a ") . c),((a ") . b)} is set

{((a ") . c)} is set

{{((a ") . c),((a ") . b)},{((a ") . c)}} is set

(a ") . F is set

a . ((a ") . F) is set

[((a ") . F),((a ") . c)] is set

{((a ") . F),((a ") . c)} is set

{((a ") . F)} is set

{{((a ") . F),((a ") . c)},{((a ") . F)}} is set

[((a ") . F),((a ") . b)] is set

{((a ") . F),((a ") . b)} is set

{{((a ") . F),((a ") . b)},{((a ") . F)}} is set

[F,b] is set

{F,b} is set

{{F,b},{F}} is set

F is set

c is set

(a ") . F is set

a . ((a ") . F) is set

(a ") . c is set

a . ((a ") . c) is set

[((a ") . F),((a ") . c)] is set

{((a ") . F),((a ") . c)} is set

{((a ") . F)} is set

{{((a ") . F),((a ") . c)},{((a ") . F)}} is set

[((a ") . c),((a ") . F)] is set

{((a ") . c),((a ") . F)} is set

{((a ") . c)} is set

{{((a ") . c),((a ") . F)},{((a ") . c)}} is set

[F,c] is set

{F,c} is set

{F} is set

{{F,c},{F}} is set

[c,F] is set

{c,F} is set

{c} is set

{{c,F},{c}} is set

F is set

c is set

[F,c] is set

{F,c} is set

{F} is set

{{F,c},{F}} is set

[c,F] is set

{c,F} is set

{c} is set

{{c,F},{c}} is set

(a ") . F is set

a . ((a ") . F) is set

(a ") . c is set

a . ((a ") . c) is set

[((a ") . F),((a ") . c)] is set

{((a ") . F),((a ") . c)} is set

{((a ") . F)} is set

{{((a ") . F),((a ") . c)},{((a ") . F)}} is set

[((a ") . c),((a ") . F)] is set

{((a ") . c),((a ") . F)} is set

{((a ") . c)} is set

{{((a ") . c),((a ") . F)},{((a ") . c)}} is set

F is set

a " F is set

c is set

(R,c) is set

Coim (R,c) is set

{c} is set

R " {c} is set

(Coim (R,c)) \ {c} is Element of bool (Coim (R,c))

bool (Coim (R,c)) is set

a . c is set

(S,(a . c)) is set

Coim (S,(a . c)) is set

{(a . c)} is set

S " {(a . c)} is set

(Coim (S,(a . c))) \ {(a . c)} is Element of bool (Coim (S,(a . c)))

bool (Coim (S,(a . c))) is set

b is set

(a ") . b is set

[b,(a . c)] is set

{b,(a . c)} is set

{b} is set

{{b,(a . c)},{b}} is set

a . ((a ") . b) is set

[((a ") . b),c] is set

{((a ") . b),c} is set

{((a ") . b)} is set

{{((a ") . b),c},{((a ") . b)}} is set

R is Relation-like set

S is Relation-like set

a is Relation-like Function-like set

R is Relation-like set

S is Relation-like set

a is Relation-like Function-like set

F is Relation-like Function-like set

dom a is set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

rng a is set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

dom F is set

F " is Relation-like Function-like set

rng F is set

a " is Relation-like Function-like set

dom (a ") is set

F * (a ") is Relation-like Function-like set

dom (F * (a ")) is set

c is set

b is set

[c,b] is set

{c,b} is set

{c} is set

{{c,b},{c}} is set

F . c is set

F . b is set

[(F . c),(F . b)] is set

{(F . c),(F . b)} is set

{(F . c)} is set

{{(F . c),(F . b)},{(F . c)}} is set

(a ") . (F . b) is set

(F * (a ")) . b is set

(a ") . (F . c) is set

(F * (a ")) . c is set

[((F * (a ")) . c),((F * (a ")) . b)] is set

{((F * (a ")) . c),((F * (a ")) . b)} is set

{((F * (a ")) . c)} is set

{{((F * (a ")) . c),((F * (a ")) . b)},{((F * (a ")) . c)}} is set

dom (F ") is set

a * (F ") is Relation-like Function-like set

dom (a * (F ")) is set

c is set

b is set

[c,b] is set

{c,b} is set

{c} is set

{{c,b},{c}} is set

a . c is set

a . b is set

[(a . c),(a . b)] is set

{(a . c),(a . b)} is set

{(a . c)} is set

{{(a . c),(a . b)},{(a . c)}} is set

(F ") . (a . b) is set

(a * (F ")) . b is set

(F ") . (a . c) is set

(a * (F ")) . c is set

[((a * (F ")) . c),((a * (F ")) . b)] is set

{((a * (F ")) . c),((a * (F ")) . b)} is set

{((a * (F ")) . c)} is set

{{((a * (F ")) . c),((a * (F ")) . b)},{((a * (F ")) . c)}} is set

c is set

a . c is set

F . c is set

(a ") . (F . c) is set

(F * (a ")) . c is set

a . ((a ") . (F . c)) is set

rng (a ") is set

rng (F * (a ")) is set

[c,((F * (a ")) . c)] is set

{c,((F * (a ")) . c)} is set

{c} is set

{{c,((F * (a ")) . c)},{c}} is set

[(a . c),(F . c)] is set

{(a . c),(F . c)} is set

{(a . c)} is set

{{(a . c),(F . c)},{(a . c)}} is set

(F ") . (a . c) is set

F . ((F ") . (a . c)) is set

(a * (F ")) . c is set

rng (F ") is set

rng (a * (F ")) is set

[c,((a * (F ")) . c)] is set

{c,((a * (F ")) . c)} is set

{{c,((a * (F ")) . c)},{c}} is set

[(F . c),(a . c)] is set

{(F . c),(a . c)} is set

{(F . c)} is set

{{(F . c),(a . c)},{(F . c)}} is set

R is Relation-like set

S is Relation-like set

a is Relation-like Function-like set

F is Relation-like Function-like set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is set

(R,S) is set

Coim (R,S) is set

{S} is set

R " {S} is set

(Coim (R,S)) \ {S} is Element of bool (Coim (R,S))

bool (Coim (R,S)) is set

(R,(R,S)) is Relation-like set

[:(R,S),(R,S):] is Relation-like set

R /\ [:(R,S),(R,S):] is Relation-like set

(R,(R,(R,S))) is Relation-like Function-like set

dom (R,(R,(R,S))) is set

c is set

b is set

[c,b] is set

{c,b} is set

{c} is set

{{c,b},{c}} is set

(R,(R,(R,S))) . c is set

(R,(R,(R,S))) . b is set

[((R,(R,(R,S))) . c),((R,(R,(R,S))) . b)] is set

{((R,(R,(R,S))) . c),((R,(R,(R,S))) . b)} is set

{((R,(R,(R,S))) . c)} is set

{{((R,(R,(R,S))) . c),((R,(R,(R,S))) . b)},{((R,(R,(R,S))) . c)}} is set

rng (R,(R,(R,S))) is set

field (R,(R,S)) is set

dom (R,(R,S)) is set

rng (R,(R,S)) is set

(dom (R,(R,S))) \/ (rng (R,(R,S))) is set

(R,(R,(R,S))) . S is set

[((R,(R,(R,S))) . S),S] is set

{((R,(R,(R,S))) . S),S} is set

{((R,(R,(R,S))) . S)} is set

{{((R,(R,(R,S))) . S),S},{((R,(R,(R,S))) . S)}} is set

[S,((R,(R,(R,S))) . S)] is set

{S,((R,(R,(R,S))) . S)} is set

{{S,((R,(R,(R,S))) . S)},{S}} is set

R is set

S is set

a is Relation-like set

field a is set

dom a is set

rng a is set

(dom a) \/ (rng a) is set

(a,R) is set

Coim (a,R) is set

{R} is set

a " {R} is set

(Coim (a,R)) \ {R} is Element of bool (Coim (a,R))

bool (Coim (a,R)) is set

(a,(a,R)) is Relation-like set

[:(a,R),(a,R):] is Relation-like set

a /\ [:(a,R),(a,R):] is Relation-like set

(a,S) is set

Coim (a,S) is set

{S} is set

a " {S} is set

(Coim (a,S)) \ {S} is Element of bool (Coim (a,S))

bool (Coim (a,S)) is set

(a,(a,S)) is Relation-like set

[:(a,S),(a,S):] is Relation-like set

a /\ [:(a,S),(a,S):] is Relation-like set

((a,(a,R)),(a,S)) is Relation-like set

(a,(a,R)) /\ [:(a,S),(a,S):] is Relation-like set

field (a,(a,R)) is set

dom (a,(a,R)) is set

rng (a,(a,R)) is set

(dom (a,(a,R))) \/ (rng (a,(a,R))) is set

[S,R] is set

{S,R} is set

{{S,R},{S}} is set

[R,S] is set

{R,S} is set

{{R,S},{R}} is set

((a,(a,R)),S) is set

Coim ((a,(a,R)),S) is set

(a,(a,R)) " {S} is set

(Coim ((a,(a,R)),S)) \ {S} is Element of bool (Coim ((a,(a,R)),S))

bool (Coim ((a,(a,R)),S)) is set

((a,(a,S)),(a,R)) is Relation-like set

(a,(a,S)) /\ [:(a,R),(a,R):] is Relation-like set

field (a,(a,S)) is set

dom (a,(a,S)) is set

rng (a,(a,S)) is set

(dom (a,(a,S))) \/ (rng (a,(a,S))) is set

[R,S] is set

{R,S} is set

{{R,S},{R}} is set

[S,R] is set

{S,R} is set

{{S,R},{S}} is set

((a,(a,S)),R) is set

Coim ((a,(a,S)),R) is set

(a,(a,S)) " {R} is set

(Coim ((a,(a,S)),R)) \ {R} is Element of bool (Coim ((a,(a,S)),R))

bool (Coim ((a,(a,S)),R)) is set

R is set

S is Relation-like set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

(S,R) is Relation-like set

[:R,R:] is Relation-like set

S /\ [:R,R:] is Relation-like set

a is Relation-like set

F is Relation-like Function-like set

F .: R is set

(a,(F .: R)) is Relation-like set

[:(F .: R),(F .: R):] is Relation-like set

a /\ [:(F .: R),(F .: R):] is Relation-like set

F | R is Relation-like Function-like set

rng F is set

field a is set

dom a is set

rng a is set

(dom a) \/ (rng a) is set

field (a,(F .: R)) is set

dom (a,(F .: R)) is set

rng (a,(F .: R)) is set

(dom (a,(F .: R))) \/ (rng (a,(F .: R))) is set

field (S,R) is set

dom (S,R) is set

rng (S,R) is set

(dom (S,R)) \/ (rng (S,R)) is set

dom F is set

dom (F | R) is set

rng (F | R) is set

c is set

(F | R) . c is set

b is set

[c,b] is set

{c,b} is set

{c} is set

{{c,b},{c}} is set

(F | R) . b is set

[((F | R) . c),((F | R) . b)] is set

{((F | R) . c),((F | R) . b)} is set

{((F | R) . c)} is set

{{((F | R) . c),((F | R) . b)},{((F | R) . c)}} is set

F . c is set

F . b is set

[(F . c),(F . b)] is set

{(F . c),(F . b)} is set

{(F . c)} is set

{{(F . c),(F . b)},{(F . c)}} is set

F . c is set

F . b is set

[(F . c),(F . b)] is set

{(F . c),(F . b)} is set

{(F . c)} is set

{{(F . c),(F . b)},{(F . c)}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is Relation-like set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

a is Relation-like Function-like set

dom a is set

F is set

(R,F) is set

Coim (R,F) is set

{F} is set

R " {F} is set

(Coim (R,F)) \ {F} is Element of bool (Coim (R,F))

bool (Coim (R,F)) is set

a .: (R,F) is set

a . F is set

c is set

(S,c) is set

Coim (S,c) is set

{c} is set

S " {c} is set

(Coim (S,c)) \ {c} is Element of bool (Coim (S,c))

bool (Coim (S,c)) is set

rng a is set

b is set

[b,c] is set

{b,c} is set

{b} is set

{{b,c},{b}} is set

a " is Relation-like Function-like set

(a ") . b is set

a . ((a ") . b) is set

rng (a ") is set

dom (a ") is set

[((a ") . b),F] is set

{((a ") . b),F} is set

{((a ") . b)} is set

{{((a ") . b),F},{((a ") . b)}} is set

b is set

b is set

a . b is set

[b,F] is set

{b,F} is set

{b} is set

{{b,F},{b}} is set

[b,c] is set

{b,c} is set

{b} is set

{{b,c},{b}} is set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is Relation-like set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

a is Relation-like Function-like set

F is set

(R,F) is set

Coim (R,F) is set

{F} is set

R " {F} is set

(Coim (R,F)) \ {F} is Element of bool (Coim (R,F))

bool (Coim (R,F)) is set

(R,(R,F)) is Relation-like set

[:(R,F),(R,F):] is Relation-like set

R /\ [:(R,F),(R,F):] is Relation-like set

a .: (R,F) is set

c is set

(S,c) is set

Coim (S,c) is set

{c} is set

S " {c} is set

(Coim (S,c)) \ {c} is Element of bool (Coim (S,c))

bool (Coim (S,c)) is set

(S,(S,c)) is Relation-like set

[:(S,c),(S,c):] is Relation-like set

S /\ [:(S,c),(S,c):] is Relation-like set

R is set

S is set

a is set

[a,S] is set

{a,S} is set

{a} is set

{{a,S},{a}} is set

F is Relation-like set

field F is set

dom F is set

rng F is set

(dom F) \/ (rng F) is set

(F,R) is set

Coim (F,R) is set

{R} is set

F " {R} is set

(Coim (F,R)) \ {R} is Element of bool (Coim (F,R))

bool (Coim (F,R)) is set

(F,(F,R)) is Relation-like set

[:(F,R),(F,R):] is Relation-like set

F /\ [:(F,R),(F,R):] is Relation-like set

c is Relation-like set

field c is set

dom c is set

rng c is set

(dom c) \/ (rng c) is set

(c,S) is set

Coim (c,S) is set

{S} is set

c " {S} is set

(Coim (c,S)) \ {S} is Element of bool (Coim (c,S))

bool (Coim (c,S)) is set

(c,(c,S)) is Relation-like set

[:(c,S),(c,S):] is Relation-like set

c /\ [:(c,S),(c,S):] is Relation-like set

(c,a) is set

Coim (c,a) is set

c " {a} is set

(Coim (c,a)) \ {a} is Element of bool (Coim (c,a))

bool (Coim (c,a)) is set

(c,(c,a)) is Relation-like set

[:(c,a),(c,a):] is Relation-like set

c /\ [:(c,a),(c,a):] is Relation-like set

(F,(c,(c,S))) is Relation-like Function-like set

field (c,(c,S)) is set

dom (c,(c,S)) is set

rng (c,(c,S)) is set

(dom (c,(c,S))) \/ (rng (c,(c,S))) is set

(F,(c,(c,S))) .: (F,R) is set

Q is set

((c,(c,S)),Q) is set

Coim ((c,(c,S)),Q) is set

{Q} is set

(c,(c,S)) " {Q} is set

(Coim ((c,(c,S)),Q)) \ {Q} is Element of bool (Coim ((c,(c,S)),Q))

bool (Coim ((c,(c,S)),Q)) is set

(c,Q) is set

Coim (c,Q) is set

c " {Q} is set

(Coim (c,Q)) \ {Q} is Element of bool (Coim (c,Q))

bool (Coim (c,Q)) is set

rng (F,(c,(c,S))) is set

((c,(c,S)),((F,(c,(c,S))) .: (F,R))) is Relation-like set

[:((F,(c,(c,S))) .: (F,R)),((F,(c,(c,S))) .: (F,R)):] is Relation-like set

(c,(c,S)) /\ [:((F,(c,(c,S))) .: (F,R)),((F,(c,(c,S))) .: (F,R)):] is Relation-like set

((c,(c,S)),((c,(c,S)),Q)) is Relation-like set

[:((c,(c,S)),Q),((c,(c,S)),Q):] is Relation-like set

(c,(c,S)) /\ [:((c,(c,S)),Q),((c,(c,S)),Q):] is Relation-like set

(c,(c,Q)) is Relation-like set

[:(c,Q),(c,Q):] is Relation-like set

c /\ [:(c,Q),(c,Q):] is Relation-like set

R is Relation-like set

field R is set

dom R is set

rng R is set

(dom R) \/ (rng R) is set

S is Relation-like set

field S is set

dom S is set

rng S is set

(dom S) \/ (rng S) is set

a is set

F is set

F is set

(R,F) is set

Coim (R,F) is set

{F} is set

R " {F} is set

(Coim (R,F)) \ {F} is Element of bool (Coim (R,F))

bool (Coim (R,F)) is set

(R,(R,F)) is Relation-like set

[:(R,F),(R,F):] is Relation-like set

R /\ [:(R,F),(R,F):] is Relation-like set

c is set

(S,c) is set

Coim (S,c) is set

{c} is set

S " {c} is set

(Coim (S,c)) \ {c} is Element of bool (Coim (S,c))

bool (Coim (S,c)) is set

(S,(S,c)) is Relation-like set

[:(S,c),(S,c):] is Relation-like set

S /\ [:(S,c),(S,c):] is Relation-like set

b is set

(S,b) is set

Coim (S,b) is set

{b} is set

S " {b} is set

(Coim (S,b)) \ {b} is Element of bool (Coim (S,b))

bool (Coim (S,b)) is set

(S,(S,b)) is Relation-like set

[:(S,b),(S,b):] is Relation-like set

S /\ [:(S,b),(S,b):] is Relation-like set

F is Relation-like Function-like set

dom F is set

c is set

(R,c) is set

Coim (R,c) is set

{c} is set

R " {c} is set

(Coim (R,c)) \ {c} is Element of bool (Coim (R,c))

bool (Coim (R,c)) is set

(R,(R,c)) is Relation-like set

[:(R,c),(R,c):] is Relation-like set

R /\ [:(R,c),(R,c):] is Relation-like set

b is set

(S,b) is set

Coim (S,b) is set

{b} is set

S " {b} is set

(Coim (S,b)) \ {b} is Element of bool (Coim (S,b))

bool (Coim (S,b)) is set

(S,(S,b)) is Relation-like set

[:(S,b),(S,b):] is Relation-like set

S /\ [:(S,b),(S,b):] is Relation-like set

[c,b] is set

{c,b} is set

{{c,b},{c}} is set

c is set

b is set

[c,b] is set

{c,b} is set

{c} is set

{{c,b},{c}} is set

(R,c) is set

Coim (R,c) is set

R " {c} is set

(Coim (R,c)) \ {c} is Element of bool (Coim (R,c))

bool (Coim (R,c)) is set

(R,(R,c)) is Relation-like set

[:(R,c),(R,c):] is Relation-like set

R /\ [:(R,c),(R,c):] is Relation-like set

(S,b) is set

Coim (S,b) is set

{b} is set

S " {b} is set

(Coim (S,b)) \ {b} is Element of bool (Coim (S,b))

bool (Coim (S,b)) is set

(S,(S,b)) is Relation-like set

[:(S,b),(S,b):] is Relation-like set

S /\ [:(S,b),(S,b):] is Relation-like set

rng F is set

c is set

b is set

F . b is set

[b,c] is set

{b,c} is set

{b} is set

{{b,c},{b}} is set

(R,(dom F)) is Relation-like set

[:(dom F),(dom F):] is Relation-like set

R /\ [:(dom F),(dom F):] is Relation-like set

(S,(rng F)) is Relation-like set

[:(rng F),(rng F):] is Relation-like set

S /\ [:(rng F),(rng F):] is Relation-like set

field (R,(dom F)) is set

dom (R,(dom F)) is set

rng (R,(dom F)) is set

(dom (R,(dom F))) \/ (rng (R,(dom F))) is set

field (S,(rng F)) is set

dom (S,(rng F)) is set

rng (S,(rng F)) is set

(dom (S,(rng F))) \/ (rng (S,(rng F))) is set

c is set

F . c is set

b is set

F . b is set

[b,(F . b)] is set

{b,(F . b)} is set

{b} is set

{{b,(F . b)},{b}} is set

(R,b) is set

Coim (R,b) is set

R " {b} is set

(Coim (R,b)) \ {b} is Element of bool (Coim (R,b))

bool (Coim (R,b)) is set

(R,(R,b)) is Relation-like set

[:(R,b),(R,b):] is Relation-like set

R /\ [:(R,b),(R,b):] is Relation-like set

(S,(F . c)) is set

Coim (S,(F . c)) is set

{(F . c)} is set

S " {(F . c)} is set

(Coim (S,(F . c))) \ {(F . c)} is Element of bool (Coim (S,(F . c)))

bool (Coim (S,(F . c))) is set

(S,(S,(F . c))) is Relation-like set

[:(S,(F . c)),(S,(F . c)):] is Relation-like set

S /\ [:(S,(F . c)),(S,(F . c)):] is Relation-like set

[c,(F . c)] is set

{c,(F . c)} is set

{c} is set

{{c,(F . c)},{c}} is set

(R,c) is set

Coim (R,c) is set

R " {c} is set

(Coim (R,c)) \ {c} is Element of bool (Coim (R,c))

bool (Coim (R,c)) is set

(R,(R,c)) is Relation-like set

[:(R,c),(R,c):] is Relation-like set

R /\ [:(R,c),(R,c):] is Relation-like set

c is set

F . c is set

b is set

[c,b] is set

{c,b} is set

{c} is set

{{c,b},{c}} is set

F . b is set

[(F . c),(F . b)] is set

{(F . c),(F . b)} is set

{(F . c)} is set

{{(F . c),(F . b)},{(F . c)}} is set

(R,c) is set

Coim (R,c) is set

R " {c} is set

(Coim (R,c)) \ {c} is Element of bool (Coim (R,c))

bool (Coim (R,c)) is set

(R,(R,c)) is Relation-like set

[:(R,c),(R,c):] is Relation-like set

R /\ [:(R,c),(R,c):] is Relation-like set

field (R,(R,c)) is set

dom (R,(R,c)) is set

rng (R,(R,c)) is set

(dom (R,(R,c))) \/ (rng (R,(R,c))) is set

[c,(F . c)] is set

{c,(F . c)} is set

{{c,(F . c)},{c}} is set

[b,(F . b)] is set

{b,(F . b)} is set

{b} is set

{{b,(F . b)},{b}} is set

(R,b) is set

Coim (R,b) is set

R " {b} is set

(Coim (R,