the set of which all else is a subset