出处:按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第678页(106字)
逻辑学术语。对任何X面言,如果X∈A.那么X∈B,这样就称A为B的子集,记为AB。如A={a},B={a,b},则A是B的子集,或称A真包含于B,或者B真包含A。