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

逆に <math>\mathfrak{U}</math> が <math>A</math> の任意の[[圏論/代数系/関係, 同値関係#類別|類別]]のとき，<math>a, b</math> が同一の <math>X \in \mathfrak{U}</math> に属するとき

<math>a\rho b</math> とすれば，<math>\rho</math> は <math>A</math> 上の[[圏論/代数系/関係, 同値関係#同値関係|同値関係]]となり，もとの <math>\mathfrak{U}</math> は[[圏論/代数系/関係, 同値関係#関係\rhoから導かれた類別|これから導かれた類別]]となる．