What is the meaning of Underlying_set?
A set of "points" upon which a topology is built, thereby yielding a topological space.
A set upon which some operations are defined, thereby yielding an algebraic structure.
Source: wiktionary.orgSearch words containing