Submagma

🅟 Apr 16, 2026

  🅤 Jun 11, 2026

Definition 1.

Let $(M, *)$ be a magma. $(N, *)$ is a submagma of $(M, *)$, written $N \leq M$, if $(N, *)$ itself is a magma and $N \subseteq M$.