PanLinx
русский
rus-000
попарно полные пространства
English
eng-000
pairwise complete spaces
PanLex