El axioma de extensionalidad asegura que los elementos de un conjunto son lo único que lo define, es decir, los objetos que están relacionados con él por la relación de pertenencia, .