PanLinx
русский
rus-000
метризуемая компактификация
English
eng-000
metrizable compactification
PanLex