数学の証明という理論がわからないです

例:
pを素数とする。

Z/pZ := { [0], [1], ..., [p-1]}
[k] := {n∈Z; n ≡ k (mod p)}

とする。すなわち、n ≡ k (mod p)⇔ [n] = [k]である。