Esperanto Lingvoj Fakoj ktp.
MAT

antaŭkompakta

vidu

→ globo 2.a

→ kovro 2

→ metrika spaco