「圏論/代数系/関係, 同値関係」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
171 行
の一つの[[圏論/代数系/関係, 同値関係#同値類|同値類]]に含まれるとき，<math>\mathfrak{U}</math> は <math>\mathfrak{B}</math> より '''細かい'''，
<math>\mathfrak{B}</math> は <math>\mathfrak{U}</math> より '''粗い'''という．
[[圏論/代数系/関係, 同値関係#同値関係|同値関係]]は[[圏論/代数系/関係, 同値関係#強い関係|強]]いほど対応する[[圏論/代数系/関係, 同値関係#類別|類別]]は[[圏論/代数系/関係, 同値関係#粗い|粗]]くなり，
特に [[圏論/代数系/関係, 同値関係#2.4|2.4]] の系に現れる <math>\bigwedge \Sigma</math> を <math>\sigma</math> とすれば，
<math>U_{\sigma}(a)=\bigcap\{ U_\rho(a)|\rho \in \Sigma \}</math> が成り立つ．
| |||