not random at all - they are just noting that given two (or any set of) vectors, they span a subspace and the things they span in this case is exactly the set U. it is easy to check the axioms if you need to.