The number n of outermost arguments of the secondary input category is called the degree of the rule.
2 for n = 0 we obtain the rules of function General form of composition rules (primary input category shaded), where n ≥ 0 and | i ∈ {/, /}.