A set that, in a particular application, includes every other set under discussion. Such sets give a more definite meaning to notions like complement and membership: in asking whether or not x is in S, where S is some set, it is assumed that x is a member of some universal set.