「圏論/代数系/関係, 同値関係」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
186 行
<strong>定理 </strong>
<math>\tau</math> を集合 <math>A</math> の上の任意に与えられた[[圏論/代数系/関係, 同値関係#関係|関係]]とするとき，
<math>\tau</math> より[[圏論/代数系/関係, 同値関係#強い関係|強い]][[圏論/代数系/関係, 同値関係#同値関係|同値関係]]の中で最も[[圏論/代数系/関係, 同値関係#弱い関係|弱い]]もの <math>\sigma</math> が
存在する．
| |||