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