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.

Es un conjunto de vectores, que junto con un conjunto de escalares y dos operaciones binarias cumplen 10 axiomas.