The set of even integers, equipped with addition, is a group.