Definition:Bijection (Class Theory)