2の剰余系では、
0 + 0 = 0
0 + 1 = 1
1 + 0 = 1
1 + 1 = 0
1 + 1 + 1 = 1
1 + 1 + 1 + 1 = 0
となる。