PanLinx: линейно упорядоченная группа

русский	rus-000
линейно упорядоченная группа

English	eng-000	linearly ordered group
English	eng-000	simply ordered group

PanLex-PanLinx