Definition:Maximal Element (Class Theory)