順序集合
順序に関する写像の概念に以下のものがある: