Yes, that's equivalent. --AxelBoldt |
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.
- Stuart
Yes, that's equivalent. --AxelBoldt