A magma is a set XXX together with a binary operation $thatisclosedunder that is closed under thatisclosedunder.Thatis,. That is, .Thatis,a*b \in Xforall for all foralla,b \in X$.
Wikidata ID: Q679903