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