ダウンロード

) (1) 写像 f : A → B が順序保存写像(order-preserving