A system of equations whose variables must be integer-valued. A famous one is in Fermat's Last Theorem: