:: RELAT_2 semantic presentation

{} is empty Relation-like non-empty empty-yielding set
field {} is set
dom {} is empty Relation-like non-empty empty-yielding set
rng {} is empty Relation-like non-empty empty-yielding set
(dom {}) \/ (rng {}) is Relation-like set
R is Relation-like set
x is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
[x,x] is set
x is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
[x,x] is set
x is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
[x,y] is set
[y,x] is set
x is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
[x,y] is set
[y,x] is set
x is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
[x,y] is set
[y,x] is set
x is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
[x,y] is set
[y,x] is set
x is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
[x,y] is set
[y,x] is set
x is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
z is set
[x,y] is set
[y,z] is set
[x,z] 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 set
x is set
y is set
[x,y] is set
x is set
[x,x] 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 set
x is set
y is set
[x,y] is set
(id (field R)) /\ R is Relation-like set
x is set
[x,x] is set
R is set
id R is Relation-like R -defined R -valued set
x is Relation-like set
x \ (id R) is Relation-like set
y is set
z is set
[y,z] is set
[z,y] is set
y is set
z is set
[y,z] is set
[z,y] is set
R is set
id R is Relation-like R -defined R -valued set
x is Relation-like set
x \/ (id R) is Relation-like set
y is set
z is set
[y,z] is set
[z,y] 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
x is set
[x,x] is set
y is set
[x,y] is set
[y,x] is set
y is set
[y,x] is set
[x,y] is set
R is set
id R is Relation-like R -defined R -valued set
x is set
field (id R) is set
dom (id R) is set
rng (id R) is set
(dom (id R)) \/ (rng (id R)) is set
y is set
[x,y] is set
[y,x] is set
x is set
field (id R) is set
dom (id R) is set
rng (id R) is set
(dom (id R)) \/ (rng (id R)) is set
y is set
[x,y] is set
z is set
[y,z] is set
[x,z] is set
x is set
field (id R) is set
dom (id R) is set
rng (id R) is set
(dom (id R)) \/ (rng (id R)) is set
y is set
[x,y] is set
[y,x] 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
x is set
y is set
[x,y] is set
[y,x] is set
[x,x] 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
x is set
[x,x] is set
x is set
y is set
[x,y] is set
[y,x] is 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
x is set
field (R ~) is set
dom (R ~) is set
rng (R ~) is set
(dom (R ~)) \/ (rng (R ~)) is set
[x,x] is 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
x is set
field (R ~) is set
dom (R ~) is set
rng (R ~) is set
(dom (R ~)) \/ (rng (R ~)) is set
[x,x] is set
R is Relation-like set
dom R is set
R ~ is Relation-like set
dom (R ~) is set
rng R is set
rng (R ~) is set
field R is set
(dom R) \/ (rng R) is set
field (R ~) is set
(dom (R ~)) \/ (rng (R ~)) is set
x is set
[x,x] is set
x is set
[x,x] is 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
x is set
y is set
[x,y] is set
[y,x] is set
x is set
y is set
[x,y] is set
[y,x] is set
R is Relation-like () set
x is Relation-like () set
R \/ x is Relation-like set
field x is set
dom x is set
rng x is set
(dom x) \/ (rng x) is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
[y,y] is set
field (R \/ x) is set
dom (R \/ x) is set
rng (R \/ x) is set
(dom (R \/ x)) \/ (rng (R \/ x)) is set
(field R) \/ (field x) is set
R /\ x is Relation-like set
field x is set
dom x is set
rng x is set
(dom x) \/ (rng x) is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
field (R /\ x) is set
dom (R /\ x) is set
rng (R /\ x) is set
(dom (R /\ x)) \/ (rng (R /\ x)) is set
(field R) /\ (field x) is set
[y,y] is set
R is Relation-like () set
x is Relation-like () set
R \/ x is Relation-like set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
field x is set
dom x is set
rng x is set
(dom x) \/ (rng x) is set
y is set
field (R \/ x) is set
dom (R \/ x) is set
rng (R \/ x) is set
(dom (R \/ x)) \/ (rng (R \/ x)) is set
[y,y] is set
(field R) \/ (field x) is set
R /\ x is Relation-like set
y is set
field (R /\ x) is set
dom (R /\ x) is set
rng (R /\ x) is set
(dom (R /\ x)) \/ (rng (R /\ x)) is set
[y,y] is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
field x is set
dom x is set
rng x is set
(dom x) \/ (rng x) is set
(field R) /\ (field x) is set
R is Relation-like () set
x is Relation-like set
R \ x is Relation-like set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
field (R \ x) is set
dom (R \ x) is set
rng (R \ x) is set
(dom (R \ x)) \/ (rng (R \ x)) is set
[y,y] is set
z is set
[y,z] is set
z is set
[z,y] is set
R is Relation-like () set
R ~ is Relation-like set
R is Relation-like () set
x is Relation-like () set
R \/ x is Relation-like set
field x is set
dom x is set
rng x is set
(dom x) \/ (rng x) is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
field (R \/ x) is set
dom (R \/ x) is set
rng (R \/ x) is set
(dom (R \/ x)) \/ (rng (R \/ x)) is set
z is set
[y,z] is set
[z,y] is set
R /\ x is Relation-like set
field x is set
dom x is set
rng x is set
(dom x) \/ (rng x) is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
field (R /\ x) is set
dom (R /\ x) is set
rng (R /\ x) is set
(dom (R /\ x)) \/ (rng (R /\ x)) is set
z is set
[y,z] is set
(field R) /\ (field x) is set
[z,y] is set
R \ x is Relation-like set
field x is set
dom x is set
rng x is set
(dom x) \/ (rng x) is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
field (R \ x) is set
dom (R \ x) is set
rng (R \ x) is set
(dom (R \ x)) \/ (rng (R \ x)) is set
z is set
[y,z] is set
[z,y] is 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
x is set
field (R ~) is set
dom (R ~) is set
rng (R ~) is set
(dom (R ~)) \/ (rng (R ~)) is set
y is set
[x,y] is set
[y,x] is set
R is Relation-like set
x is Relation-like () () () set
R /\ x is Relation-like set
field x is set
dom x is set
rng x is set
(dom x) \/ (rng x) is set
field (R /\ x) is set
dom (R /\ x) is set
rng (R /\ x) is set
(dom (R /\ x)) \/ (rng (R /\ x)) is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
(field R) /\ (field x) is set
y is set
z is set
[y,z] is set
[z,y] is set
x /\ R is Relation-like () () () set
R is Relation-like () () () set
x is Relation-like set
R \ x is Relation-like () set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
field (R \ x) is set
dom (R \ x) is set
rng (R \ x) is set
(dom (R \ x)) \/ (rng (R \ x)) is set
z is set
[y,z] is set
[z,y] is set
R is Relation-like set
R ~ is Relation-like set
R /\ (R ~) is Relation-like set
dom R is set
id (dom R) is Relation-like dom R -defined dom R -valued () () () () set
field R is set
rng R is set
(dom R) \/ (rng R) is set
x is set
y is set
[x,y] is set
[y,x] is set
x is set
y is set
[x,y] is set
[y,x] is set
R is Relation-like () set
R ~ is Relation-like set
x is set
field (R ~) is set
dom (R ~) is set
rng (R ~) is set
(dom (R ~)) \/ (rng (R ~)) is set
y is set
[x,y] is set
[y,x] 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
x is Relation-like set
R /\ x is Relation-like set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
field (R /\ x) is set
dom (R /\ x) is set
rng (R /\ x) is set
(dom (R /\ x)) \/ (rng (R /\ x)) is set
z is set
[y,z] is set
[z,y] is set
x /\ R is Relation-like () set
R \ x is Relation-like set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
field (R \ x) is set
dom (R \ x) is set
rng (R \ x) is set
(dom (R \ x)) \/ (rng (R \ x)) is set
z is set
[y,z] is set
[z,y] is 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
x is set
field (R ~) is set
dom (R ~) is set
rng (R ~) is set
(dom (R ~)) \/ (rng (R ~)) is set
y is set
[x,y] is set
z is set
[y,z] is set
[x,z] is set
[y,x] is set
[z,y] is set
[z,x] is set
R is Relation-like () set
x is Relation-like () set
R /\ x is Relation-like set
field x is set
dom x is set
rng x is set
(dom x) \/ (rng x) is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
y is set
field (R /\ x) is set
dom (R /\ x) is set
rng (R /\ x) is set
(dom (R /\ x)) \/ (rng (R /\ x)) is set
z is set
[y,z] is set
c is set
[z,c] is set
[y,c] is set
R is Relation-like set
R * R is Relation-like set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
x is set
y is set
[x,y] is set
z is set
[x,z] is set
[z,y] is set
x is set
y is set
[x,y] is set
z is set
[y,z] is set
[x,z] 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
[:(field R),(field R):] is Relation-like set
id (field R) is Relation-like field R -defined field R -valued () () () () set
[:(field R),(field R):] \ (id (field R)) is Relation-like set
R ~ is Relation-like set
R \/ (R ~) is Relation-like set
x is set
y is set
z is set
[y,z] is set
[z,y] is set
x is set
y is set
[x,y] is set
[y,x] 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
x is set
y is set
[x,y] is set
[y,x] is set
x is set
[x,x] 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
[:(field R),(field R):] is Relation-like set
R ~ is Relation-like set
R \/ (R ~) is Relation-like set
x is set
y is set
z is set
[y,z] is set
[z,y] is set
y is set
z is set
[y,z] is set
[z,y] is set
x is set
y is set
[x,y] is set
[y,x] is set
R is Relation-like set
x is set
y is set
[x,y] is set
z is set
[y,z] is set
field R is set
dom R is set
rng R is set
(dom R) \/ (rng R) is set
[x,z] is set
x is set
y is set
z is set
[x,y] is set
[y,z] is set
[x,z] is set