PanLinx
русский
rus-000
операторное замыкание
English
eng-000
operator closure
PanLex