空集合は元を一切持たない。
空集合はどんな集合に対しても、その部分集合である。

空集合は空集合を部分集合として含むが、しかし 空集合は空集合の元ではない。
ということでOKですか？