常见例句cofinal ordinal 共尾序数cofinal parts 共尾部分cofinal subspectrum 共尾子谱cofinal directed set 共尾有向集cofinal functor 共尾函子 返回 cofinal