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

削除された内容 追加された内容
編集の要約なし
編集の要約なし
89 行
<math>c\in U_{\rho}(a)\cap U_{\rho}(b)</math> より
<math>c\in U_{\rho}(b)</math>.これと[[圏論/代数系/関係, 同値関係#対称律|対称律]]より <math>\therefore b \rho c</math>…①,<br />
また <math>c\in U_{\rho}(a)</math>.<math>\therefore c \rho a</math>…②,<br />
今 <math>\forall x \in A</math> で <math>x \in U_{\rho}(b)</math> のとき…③、<br />
③より <math>\forall x(\in A) x \rho b</math>…④<br />