f\)も順序写像になる。f\)も順序単射になる。f\)も順序埋め込み写像になる。(1)\(f,g\)を順序写像とする。なるので、題意は成り立つ。(2)\(f,g\)を順序単射とする。なるので、題意は成り立つ。(3)順序埋め込み写像は順序写像かつ順序単射である。これより、順序埋め込み写像同士の合成写像は順序写像同士の合成写像になるので、順序写像となる。同様に順序埋め込み写像同士の合成写像は順序単射同士の合成写像になるので、順序単射となる。従って、合成写像は順序写像かつ順序単射であるので順序埋め込み写像となり題意は成り立つ。集合は適当な順序を定めることによって整列集合にできる。