PanLinx
русский
rus-000
оператор полугруппы
English
eng-000
semigroup operator
PanLex
