А что вы понимаете под

Это как раз, как правильно написал
Circiter, абстрактные операции.
При подставлении вместо

и

конкретных операций получаются частные случаи (например, если подставить вместо

конъюнкцию, вместо

дизъюнкцию, получится булево умножение; если подставить вместо

равенство, вместо

конъюнкцию, получится поиск по шаблону (только развернутому)). Я думала, что у этой абстрактной конструкции есть свое название на русском :)