子集公式是若∀a∈A，均有a∈B，则A⊆B。如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集。如果集合A是B的子集，且A≠B，即B中至少有一个元素不属于A，那么A就是B的真子集。为了证明∅不是A的子集，必须找到一个元素，属于∅，但不属于A。 因为∅没有元素，所以这是不可能的。因此∅一定是A的子集。
