# Definition:Remainder

Definition: Remainder
We say is a remainder of over if for some and . We write (note that rem is a well defined function).