:: RELAT_2 semantic presentation

() \/ () 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

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

x \/ (id R) is Relation-like set
y is set
z is set
[y,z] is set
[z,y] is 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

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

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

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

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

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

dom R is 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

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

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

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
() /\ () is set
[z,y] is 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

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
() /\ () 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

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 /\ (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

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

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

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

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

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

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

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

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

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

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