Este axioma puede expresarse de manera equivalente a, dado un conjunto cualquiera "x", existe una función "f" que elige un elemento de cada conjunto no vacío de "x":