I をフィルター圏(>>36)とする。
J を I の部分圏とする。
任意の i ∈ I に対して射 u：i → j で j ∈ J となるものが存在するとき
J を I の共終(cofinal)な部分圏と言った(代数的整数論020の216)。