Definition:Smallest Element (Class Theory)