If
[math]a
[/math] and
[math]b
[/math] are
integers, we say that
[math]a
[/math] divides [math]b
[/math] (written "
[math]a \href{/cs2800/wiki/index.php/%5Cmid}{\mid} b
[/math]") if
there exists an
integer [math]c \href{/cs2800/wiki/index.php/%E2%88%88}{∈} \href{/cs2800/wiki/index.php/%E2%84%A4}{ℤ}
[/math] satisfying
[math]ac = b
[/math].
If [math]a \href{/cs2800/wiki/index.php/%5Cmid}{\mid} b
[/math] we also say that [math]a
[/math] is a divisor (or factor) of [math]b
[/math].
