Order of a group

The order $|G|$ of a group $G$ is the size of its underlying set. For example, if $G=(X,\bullet )$ and $X$ has nine elements, we say that $G$ has order $9$. If $X$ is infinite, we say $G$ is infinite; if $X$ is finite, we say $G$ is finite.