A diferencia de la unión, la intersección de conjuntos es deducible a partir del axioma de pares y el esquema de especificación.