Estas dos propiedades se deducen de la intersección de conjuntos y no dependen del axioma de unicidad.