Esto puede ser útil si uno trabaja en un topos que no cumpla el axioma de elección.