PanLinx
русский
rus-000
упорядоченная полугруппа
English
eng-000
ordered semigroup
PanLex