順序付き写像

Add a description of 順序付き写像