Definition:Operation/Arity/Binary