Given a topological space [X, I], we take an elementary submodel M of a sufficiently large initial fragment of the universe containing [X, I] and naturally define a space X-M. We consider under what circumstances X-M is a (nice image of a) subspace of X, and what properties of X are retained by X-M. (C) 1998 Elsevier Science B.V.