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

を同時にみたすとき，<math>\rho</math> は <math>A</math> の上で'''同値条件'''をみたす，または'''同値関係'''であるといい，

<math>\rho</math> が同値関係であるとき <math>a \rho b</math> である <math>a</math> と <math>b</math> は <math>\rho</math> について互いに'''同値である''' という．