En álgebra lineal, el espacio vectorial cociente "E"/"F" de un espacio vectorial "E" por un subespacio vectorial "F", es la estructura natural de espacio vectorial sobre el conjunto cociente de "E" por la siguiente relación de equivalencia: "v" está relacionado con "w" si y solo si "v-w" pertenece a "F".