L'espace vectoriel a pour dimension et la partie contient exactement quatre vecteurs.

Pour démontrer que est une base de , il suffit de démontrer que la partie est une partie libre de ou bien que c'est une partie génératrice .

Il est en général plus simple de démontrer qu'une partie est libre.