PanLinx
русский
rus-000
предкомпактное множество
English
eng-000
precompact set
PanLex