Definition:Vector Space Epimorphism