упорядоченный группоид

Мат. ordered groupoid