Definition:Class Surjection