A set with a partial binary operation that is associative and has identities and inverses.
A magma: a set with a total binary operation.