De forma equivalente, éstas son ciertas en todos los modelos de ZFE y falsas en algunos modelos de ZF.