Análogamente, todo orden parcial estricto "S" tiene uno no estricto correspondiente, a saber, "S" ∪ {("a", "a") | "a" ∈ "X"}, o la "clausura reflexiva" de "R".