PanLinx
русский
rus-000
дефинитное пространство
English
eng-000
definite subspace
PanLex