partially ordered totally ordered quasidisordered semideterministic semiseparable semidistributive semiquantified cofinal well-ordered semiquantifiable