「圏論/代数系/関係, 同値関係」の版間の差分

削除された内容 追加された内容
編集の要約なし
編集の要約なし
113 行
</ref>
 
をみたす.<math>\mathfrak{P}(A)</math> の部分集合 <math>\mathfrak{U}</math> がこの三条件をみたすとき <math>\mathfrak{U}</math> は <math>A</math> の'''類別'''といい,
各 <math>X \in \mathfrak{U} </math> はこの類別の'''同値類'''という.また <math>\rho</math> から上のように定められた <math>\mathfrak{U}</math> を
<math>\rho</math> から '''導かれた類別'''という.