A total ordering ≤ is a partial ordering where x≤y & y≤x → x=y. “simple ordering” means the same as “total ordering”.