PanLinx
русский
rus-000
конечная компактность
English
eng-000
finite compactness
PanLex