Esto está justificado, pues el axioma de extensionalidad nos dice que este conjunto es único.