given a [[binary operation]] $(\cdot)$: - a left identity $e$ is such that $e \cdot x = x$ - a right identity $e$ is such that $x \cdot e = x$ - just called an identity if satisfies both if $f$ is [[associative]], left and right identities must coincide (consider $e_{\ell}e_r$)