✅ Todas as propriedades estão corretas. Uma vez que os axiomas de fecho para espaços vetoriais estejam cumpridos, para os subespaços basta argumentar que continua fechado para soma e multiplicação por escalar e que o vetor nulo esteja em S.