a是b的真子集表示为：AB。如果集合A是集合B的子集，并且集合B不是集合A的子集，那么集合A叫做集合B的真子集（propersubset）。如果A包含于B，且A不等于B，就说集合A是集合B的真子集。

集合，简称集，是数学中一个基本概念，也是集合论的主要研究对象。集合论的基本理论创立于19世纪，关于集合的最简单的说法就是在朴素集合论（最原始的集合论）中的定义，即集合是“确定的一堆东西”，集合里的“东西”则称为元素。现代的集合一般被定义为：由一个或多个确定的元素所构成的整体。