A set of Integers that will be Modulus by

or alternatively, Has two operations:

  • +_{\mod_{n}} ()