空集合はすべての集合の部分集合である(空集合のすべての要素が任意の集合 "a" の要素でもあるという命題はである)。