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