Por un tiempo esta noción de topos fue llamada "topos elemental".