かじもとにっき

ゆるふわなおはなしをかきます

2項関係(14)

定理

R:Z \to XS:Z \to Yx \in Xy \in Yの時、
x(R\backslash S)y \equiv \forall z \in Z.zRx \Rightarrow zSy

定理

R:X \to ZS:Y \to Zx \in Xy \in Yの時、
x(R/S)y \equiv \forall z \in Z.xRz \Leftarrow ySz

*1:ここでの\subseteqは関係ではなく集合に対するもの。さらにproper classを避ける為にAに限定した