Order

Pub Mar 16, 2026 Up Jun 11, 2026

Definition 1. The order of a magma $M$ is the cardinality of its underlying set $M$, denoted by $\lvert M \rvert$.

A magma is finite if its order is a natural number. Otherwise it is infinite.