PanLinx
Deutsch
deu-000
reellkompakter Raum
čeština
ces-000
reálně kompaktní prostor
Esperanto
epo-000
reeltompakta spaco
PanLex