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