Definition:Ordering (Class Theory)