Necesitamos verificar que la suma es asociativa, conmutativa, con neutro y que cada elemento tiene un opuesto aditivo.