ordered groupoid

Мат. упорядоченный группоид

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