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

Мат. ordered groupoid

Источник: Полный русско-английский словарь на Gufo.me