[11S]Prerequisites:[11R]↺↻.Show that the sum is associative and commutative; and that the sum has a single neutral element, which is the set \(\{ 0 \} \) consisting of the origin alone.
