m)」は「a=b+km,k∈Z」と同じ意味である。class)と呼ばれる。よる類別と言い換えられる。有限集合なので、扱いやすい。剰余系は実質的に合同式と同じ。述べるかにおいてと述べるかの違いである。元である各集合Aiは無限集合である。意味がまったく異なる。演算の満たす性質という観点ではとても似ている。(加法に対して)群構造を持つので、剰余類群と呼ばれる。各元を何度か演算して、すべての元が生成されることを確かめられればよい。加法巡回群であることを調べる。生成元とする巡回群である。積について閉じている。