定義
H ⊂ Ob(C) を圏 C の対象のある集合とする。
H が次の条件を満たすとき H を C の余分離集合(separating set)と呼ぶ。

f：X → Y、g：X → Y を C-射で f ≠ g とすると、
H の元 S と射 h：Y → S で hf ≠ hg となるものが存在する。