Formelt kan en definere en binær operasjon som en funksjon f: × → . Denne funksjonen har aritet lik 2, det vil si at den tar argument.