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