A **rng** $(X, +, \times)$ is an additive [[abelian group]] $(X, +)$ with an [[associative]] multiplication operation $(\times) : X \times X \to X$ that distributes over $(+)$ (ie is [[additive]] in both arguments) ie a [[ring]] without a multiplicative identity ![[abelian group]]