例
Set を集合の圏とする。
X を Set-対象とする。
過去スレ018の672より、X の商対象の同値類は X 上の同値関係と見なせる。
このとき、X の同値関係の族 (R_i)_I の余交わり(>>143)は
(R_i)_I で生成される同値関係 R である。