Es un conjunto de vectores, que cumple con la propiedades de un grupo abeliano y la donde la diferencia es conmutativa.

Es un conjunto de vectores, que al multiplicarse cumplen con 4 axiomas