Definition:Total Ordering (Class Theory)