Definition:Common Multiple
From ProofWiki
Definition
Let $S$ be a finite set of non-zero integers, that is:
- $S = \left\{{x_1, x_2, \ldots, x_n: \forall k \in \N^*_n: x_k \in \Z, x_k \ne 0}\right\}$
Let $m \in \Z$ such that all the elements of $S$ divide $m$, that is:
- $\forall x \in S: x \backslash m$
Then $m$ is a common multiple of all the elements in $S$.