Definition:Total Order