# Magma ## Synopsis Magma is a set U under a binary operator ⨁ which is closed. $\forall a, b \in u: a \oplus b \in U$