Si "R" es un orden parcial no estricto, entonces "S" = "R" − {("a", "a") | "a" ∈ "X"} es el orden parcial estricto correspondiente.