PanLinx
русский
rus-000
решетчато упорядоченная группа
English
eng-000
lattice-ordered group
PanLex
