Помогите назвать функцию
======================
Есть некая функция, которая возвращает по объекту oi группу Gk, к которой он принадлежит. Эту функцию нужно назвать. Может что-то из теории категорий?
Пусть есть функция предикат predicate(Gk, oi), возвращающая true в случае принадлежности объекта oi к группе Gk. И пусть всегда существует такая Gk и она единственная, к которой принадлежит oi. Одной группе Gk может принадлежать много различных o. Тогда как назвать функцию f(oi), всегда возвращающую Gk для данного oi, если predicate(Gk, oi) == true?

#tfggon

add comment recommend bookmark subscribe