Definition:Injection (Class Theory)