A surjective transformation, also known as an onto transformation, is a type of function between two sets where every element in the target set is the image of at least one element from the domain. This means that the transformation covers the entire target space, ensuring that there are no 'gaps' in the outputs. Surjective transformations play a crucial role in understanding the relationship between vector spaces and linear transformations, particularly in determining properties like invertibility and dimensionality.