2023-09-14から1日間の記事一覧
$A,B,C$は集合、$S,R$はそれぞれ$B\times C,A\times C$上の2項関係とする。$A\times B$上の任意の2項関係$X$について\[X\circ S\subseteq R\Leftrightarrow\forall a\in A,c\in C[_aX\circ S_c\rightarrow{}_{a}R_c]\]\[\Leftrightarrow\forall a\in A,c\in …
$A,B,C$は集合、$S,R$はそれぞれ$B\times C,A\times C$上の2項関係とする。$A\times B$上の任意の2項関係$X$について\[X\circ S\subseteq R\Leftrightarrow\forall a\in A,c\in C[_aX\circ S_c\rightarrow{}_{a}R_c]\]\[\Leftrightarrow\forall a\in A,c\in …