A particular set is called the universal set when:

• ait has no elements
• bit includes only one set
• call sets under discussion are included in it
• dit has infinitely many elements