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