Desde una perspectiva totalmente formal, iremos justificando todas las construcciones habituales sobre conjuntos, herramientas que más adelante usaremos constantemente.