定義
C を圏とする。
I を小さい集合とし (X_i)_I を C の対象の族とする。
(X_i)_I が次の条件を満たすとき (X_i)_I を C の分離対象族(a family of separators)と呼ぶ。

f：X → Y、g：X → Y を C-射で f ≠ g とすると、
i ∈ I と射 h：X_i → X で fh ≠ gh となるものが存在する。