Divides is Reflexive

Theorem

"Divides" is a reflexive relation on $\Z$, the set of integers.

Proof

$\forall n \in \Z: n \backslash n$ from Every Integer Divides Itself‎.

$\blacksquare$

Sources

• C.R.J. Clapham: Introduction to Abstract Algebra (1969)... (previous)... (next): $\S 3.10$