PanLinx
русский
rus-000
счётно компактифицируемый
English
eng-000
countably compactifiable
PanLex