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

削除された内容 追加された内容
編集の要約なし
編集の要約なし
75 行
<math>\therefore a \in U_{\rho}(c)</math>.
</ref>,
よって <math>x\in U_{\rho}(a)</math> なら[[圏論/代数系/関係, 同値関係#推移律|推移律]]から <math>x\in U_{\rho}(c)</math> で,さらに <math>x\in U_{\rho}(b)</math>
<ref>
<math>\forall x \in A</math>について<math>x \in U_{\rho}(a)</math> のとき