El conjunto universal es el conjunto que contiene todos los elementos posibles, dentro del contexto considerado.