定義
任意の対象 X に対して (Hom(S, X), X) が極値的全吸い込み(>>30)であるとき、
S を極値的分離対象(extremal separator)と言う。