常见例句cofinal ordinal 共尾序數cofinal parts 共尾部分cofinal subspectrum 共尾子譜cofinal directed set 共尾有曏集cofinal functor 共尾函子 返回 cofinal