> if a subset is not well defined, then the encompassing set can't be either
That's trivially false. E.g. 'the subset of Real numbers which have a 9 in their decimal representation' is not a well-defined subset (since decimal representations aren't unique), but the Reals are certainly well-defined. Paulj is right.