空集合は全ての集合の部分集合である理由にたどり着けた。

∅⊂{…}

部分集合　∀x(x∈A→x∈B)

部分集合ではない　￢(∀x(x∈A→x∈B))

￢(∀x(x∈A→x∈B))⇔∃x(￢(x∈A→x∈B))

￢(x∈A→x∈B)となる「x（反例）」が少なくとも一つは存在する。

「部分集合ではない」ときはこの条件を満たすので∅⊂{…}は満たさない。故に部分集合。

（このテキストは素人が書いたものです。参考にしてはいけません。）