PanLinx
русский
rus-000
аксиомы отделимости
English
eng-000
separation axioms
PanLex