Let X be any vector space over the field F, let L be a linearly independent subset
of X, and A be the set of linearly independent subsets of X containing L.
Then A is partially ordered by inclusion - why does it follow?
Partially Ordered by Inclusion is investigated.