Conjunto universal, conjunto vacío

Cualquier conjunto utilizado en la aplicación de la teoría de conjuntos se supone que está incluido en uno mayor llamado conjunto universal o universo. Llamaremos a este conjunto U a menos que se indique lo contrario.

Dado un conjunto universal U U que no tengan la propiedad y una propiedad P, no puede haber elementos en P. El conjunto sin elementos se llama el conjunto vacío, y se representa por Ø. Hay sólo un conjunto vacío: si S y T son ambos vacíos, entonces S = T ya que tienen exactamente el mismo número de elementos, o sea, cero. El conjunto vacío Ø es también un subconjunto de cualquier otro conjunto. Luego:

para cualquier conjunto A.

Fuente: Apuntes de Probabilidad y Estadística de la UNIDEG