Now you are in the subtree of Container for Linear Algebra project. 

A linear transformation is surjective if and only if the columns of its matrix span the codomain.