Definition:Greatest Element (Class Theory)