Sejam V um espaço vetorial e S um subconjunto não-vazio de V. O subconjunto S é um subespaço vetorial de V se S é um espaço vetorial em relação á adição e à multiplicação por escalar definidas em V. Diante desse contexto verificar se o subconjunto representado por S = {(x,y)/x + 3y = 0}, em relação ao R2 é um subespaço vetorial.