かじもとにっき

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

2項関係(18)

定理

R:{\mathop{\rm univalent}\nolimits}  \Rightarrow R \circ \overline S  = R \circ \Omega  \cap \overline {R \circ S}。(再掲)
R:{\mathop{\rm univalent}\nolimits}  \Rightarrow \overline {R \circ S}  = \overline {R \circ \Omega }  \cup R \circ \overline S。(再掲)
R:{\mathop{\rm mapping}\nolimits}  \Rightarrow R \circ \overline S  = \overline {R \circ S}

定理

S:{\mathop{\rm injective}\nolimits}  \Rightarrow \overline R  \circ S = \Omega  \circ S \cap \overline {R \circ S}
S:{\mathop{\rm injective}\nolimits}  \Rightarrow \overline {R \circ S}  = \overline {\Omega  \circ S}  \cup \overline R  \circ S
S:{\mathop{\rm bijective}\nolimits}  \Rightarrow \overline R  \circ S = \overline {R \circ S}