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

削除された内容 追加された内容
編集の要約なし
編集の要約なし
18 行
<math>a\rho b</math> であることとは同等である.
<ref>
「すべての <math>\rho\in\Sigmaa, b</math> を最初つい先に決めて、それに対して <math>a\rho bSigma</math> ならば,そに属する一つ一つ関係 <math>\rho</math> \in <math>\rho=\sigma=\bigwedge\Sigma</math> .」とを順次あてはめてうことか?く。
大抵の場合は、特定の関係 <math>\rho</math> にて <math>(a, b) \notin \rho</math>,すなわち関係 <math>\rho</math> はなりたたない、ということになるが、
<math>(a, b)</math> の組によっては、すべての関係 <math>\rho \in \Sigma</math> について <math>(a, b) \in \rho</math>,いいかえると <math>a\rho b</math> となる組 <math>(a, b)</math> が存在するかもしれない.そういう <math>(a, b)</math> が存在するのなら、<math>(a, b)</math> は <math>\Sigma</math> の交に
含まれている。
</ref>
この <math>\sigma</math> を <math>\Sigma</math> の'''交'''という.