La elección de un conjunto universal se hace por conveniencia, para establecer una distinción clara entre los objetos matemáticos, todos ellos en el conjunto universal; y los conjuntos formados por dichos objetos, todos ellos subconjuntos del conjunto universal.