Για να είναι το υποσύνολο
του γραμμικού χώρου
υπόχωρος πρέπει να είναι μη κενό και για κάθε
και κάθε
πρέπει να ισχύει
. Δεν επιλέγεις με κάποιο τρόπο τα
. Πρέπει να είναι τυχόντα. Το
πρέπει να ισχύει για κάθε
και για κάθε
.
Για το σύνολο
, παρατήρησε αρχικά ότι δεν είναι κενό (γιατί;) Ας πάρουμε ένα (οποιοδήποτε) πραγμτικό αριθμό
και δύο (οποιαδήποτε) στοιχεία του
, ας πούμε τα
και
. Τότε

διότι είναι της μορφής
με
.
του γραμμικού χώρου
υπόχωρος πρέπει να είναι μη κενό και για κάθε
και κάθε
πρέπει να ισχύει
. Δεν επιλέγεις με κάποιο τρόπο τα
. Πρέπει να είναι τυχόντα. Το
πρέπει να ισχύει για κάθε
και για κάθε
.Για το σύνολο
, παρατήρησε αρχικά ότι δεν είναι κενό (γιατί;) Ας πάρουμε ένα (οποιοδήποτε) πραγμτικό αριθμό
και δύο (οποιαδήποτε) στοιχεία του
, ας πούμε τα
και
. Τότε 
διότι είναι της μορφής
με
.