例
Grp を群の圏とする。
G を Grp-対象とする。
過去スレ018の677より、G の商対象の同型類は G の正規部分群と見なせる。

このとき、G の正規部分群の族 (N_i)_I の余交わり(>>143)は
(N_i)_I で生成される G の正規部分群 N である。