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