Now you are in the subtree of Math public knowledge tree. 

A linear transformation is invertible if and only if it is injective and surjective