I moved the last two paragraphs here from Power set, since they seem more appropriate here.
By the way, is it equivalent to say that X ⊂ Y iff X contains no elements that are not members of Y? It seems essentially the same, and is more obviously satisfied by the empty set.
Yes, that's equivalent. --AxelBoldt