cofinal part[数] 共尾部分
cofinal ordinal[数] 共尾序数
cofinal object[数] 共尾对象
cofinal relation共尾关系
cofinal subset[数] 共尾子集
cofinal functor[数] 共尾函子;详细翻译
cofinal subcategory[数] 共尾子范畴;详细翻译
cofinal spectrum共尾谱
cofinal set[数] 共尾集