PanLinx
русский
rus-000
поточечно замкнутое пространство
English
eng-000
pointwise closed space
PanLex