--- up: - "[[M1 LOGOS . logique . calculer]]" --- > [!definition] Définition > Soit $V$ ^definition