 This (entrenched) terminology using "reduction" is a little misleading, because the relation is not necessarily reducing some measure of the objects.In some contexts it may be beneficial to distinguish between some subsets of the rules, i.e.some subsets of the reduction relation →, e.g.