Usualmente se usa la notación de "≤" en lugar de ""R"" para el orden total, ya que este cumple con la tricotomía.