空集合は、空集合の部分集合だということですが
空集合は空集合の真部分集合なのでしょうか?