常用离散数学名词中英文对照 ... 子类: subclass 子集合: subcollection 命题: proposition ...