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