逆に、狭義の半順序''&lt;''に対応する広義の半順序''&le;''は:a\\leb\\iffaで与えられる反射的閉包である.
反射的閉包