Submagma

🅟 Apr 16, 2026

  🅤 Apr 16, 2026

SMAG#DEF. Submagma.

Let $(M,*)$ be a magma. $(N,*)$ is a submagma of $M$ if $N\subseteq M$, and we may write

\[N \leq M.\]