定義
C を完備(過去スレ017の828)で冪良(>>375)なアーベル圏とする。
Mon を C の単部分圏(>>456)とする。
M ∈ Mon とする。
M の部分対象 N は M/N ∈ Mon のとき純(pure)と言う。