PanLinx
русский
rus-000
топологизированное множество
English
eng-000
topologized set
PanLex