「圏論/代数系/関係, 同値関係」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
176 行
<div id="同一関係">
<div id="全称関係">
<strong>2.6</strong>
'''同一関係''' <math>=</math> はすべての[[圏論/代数系/関係, 同値関係#同値関係|同値関係]]の中で最も[[圏論/代数系/関係, 同値関係#弱い関係|弱い]]ものであり，
またすべての元 <math>a, b</math> に対して <math>a\upsilon b</math> とした'''全称関係''' <math>\upsilon</math>
はどのような[[圏論/代数系/関係, 同値関係#関係|関係]]よりも[[圏論/代数系/関係, 同値関係#強い関係|強い]][[圏論/代数系/関係, 同値関係#同値関係|同値関係]]である．さらに一般に
<strong>定理 </strong>
| |||