PanLinx
русский
rus-000
арифметика порядковых типов
English
eng-000
arithmetic of order types
PanLex