Es por ello que se postula la existencia de la unión, añadiendo como axioma el llamado axioma de unión.