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

<math>a\rho b</math> であることとは同等である．

<ref>

大抵の場合は、特定の関係 <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> の[[圏論/代数系/関係, 同値関係#交|交]] <math>\bigwedge\Sigma</math> に含まれている。