a function $f: X \times X \to X$ ([[valence|arity]] two)