「圏論/代数系/関係, 同値関係」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
17 行
<div id="強い関係">
<div id="交">
<math>A</math> の元と <math>B</math> の元との間に他の[[圏論/代数系/関係, 同値関係#関係|関係]] <math>\sigma</math> があり，<math>A\times B</math> の部分集合として
<math>\sigma \subset \rho</math> であるとき，<math>\sigma</math> は <math>\rho</math> より'''弱い'''関係，
<math>\rho</math> は <math>\sigma</math> より'''強い'''関係という．これは <math>a\sigma b</math> ならば <math>a\rho b</math>
でることと同等である．また <math>\Sigma</math> が <math>A</math> の元と <math>B</math> の元の間の[[圏論/代数系/関係, 同値関係#関係|関係]]の族であるとき，
<math>A\times B</math> の中でのその集合論的共通部分を <math>\bigwedge\Sigma</math> であらわす．
<math>\sigma=\bigwedge\Sigma</math> であるとき <math>a\sigma b</math> であることとすべての <math>\rho\in\Sigma</math> について
37 行
<div id="2.2">
<strong>2.2</strong>
<math>A</math> は集合，<math>\rho</math> はその上の[[圏論/代数系/関係, 同値関係#関係|関係]]とする．<math>\rho</math> が <math>A</math> の中で条件
<div id="反射律">
;'''反射律'''
| |||