Set es así un topos (y en particular cartesiano cerrada).