Quasi-ordering

  1. REDIRECT preorder