Definition 1.6.3 (Inner operations).  Let X be a set. We define:
Op(X) := Op(X, X, X)
We write “let :X × X → X be an operation on X” for “let  ∈ Op(X).”
References.