:: WELLORD1 semantic presentation

{} is 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

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

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

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

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

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

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

field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
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
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

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

field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) 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
[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,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

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

(S,R) is Relation-like set
[:R,R:] is Relation-like set
S /\ [:R,R:] 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,R) is Relation-like set
[:R,R:] is Relation-like set
S /\ [:R,R:] is Relation-like set

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

(R |` S) | R is Relation-like set
R is 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,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) | S is Relation-like set
dom ((S |` a) | S) is set
dom (S |` a) is set
(dom (S |` a)) /\ S is 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,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,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,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,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,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,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,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,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,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,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

field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
(R,()) is Relation-like set
[:(),():] is Relation-like set
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,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,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,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,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

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
() \ R is Element of bool ()
bool () 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

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

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

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

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
() \ S is Element of bool ()
bool () 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

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

field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is 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

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

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
(id ()) . S is set
(id ()) . a is set
[((id ()) . S),((id ()) . a)] is set
{((id ()) . S),((id ()) . a)} is set
{((id ()) . S)} is set
{{((id ()) . S),((id ()) . a)},{((id ()) . S)}} is set
dom (id ()) is set
rng (id ()) 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 (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

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

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

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

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

rng F is set

dom (a ") is 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

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

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

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

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

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

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

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

field S is set
dom S is set
rng S is set
(dom S) \/ (rng S) is 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 ") . 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

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

field S is set
dom S is set
rng S is set
(dom S) \/ (rng S) 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
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

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

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

field R is set
dom R is set
rng R is set
(dom R) \/ (rng 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
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

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,