universal and empty sets. The set that contains every element under consideration. For every problem,a universal set must be specified or implied.And it must remain fixed in that problem. When new problem is begun,a new universal set can be specified.