Definition:Additive Group of Integers Modulo 4

Definition
The additive group of integers modulo $4$ $\struct {\Z_4, +_4}$ is the set of integers modulo $4$ under the operation of addition modulo $4$.