子集
集合A是集合B的子集,是指A的所有元素都是B當中的元素 / 维基百科,自由的 encyclopedia
子集(英语:subset)亦称部分集合,为某集合中一部分的集合;关系相反时则称作父集、母集、超集。子集与父集关系上以“包含”称呼。
如果集合A的任意一个元素都是集合B的元素(任意 a∈A,则 a∈B),那么集合A称为集合B的子集,记为 或 ,读作“集合A包含于集合B”或“集合B包含集合A”。
即:,有 ,则 。
- 是的子集(或称 包含于 );
- 是的父集/超集(或称 包含 );
任何集合皆是本身的子集()。而的子集中不等于 的集合,称为真子集,若 是 的真子集,写作 。