Полный русско-английский словарь
упорядоченный граф
Ordered graph
Полный русско-английский словарь
упорядоченный выбор
упорядоченный группоид