"EL axioma de pares", un axioma de la teoría de Zermelo-Fraenkel, establece que, dados cualesquiera dos conjuntos formula_17 e formula_18, existe otro conjunto, representado por formula_19, cuyos elementos son únicamente formula_17 e formula_18.