ABSTRACT
If E is an arbitrary topological space that is not of first category on itself, then we say, in short, that E is of second category (see the Introduction).
Analogously, if X is a subset of E and X is not of first category in E, then we simply say that X is of second category (in E).
