jpdb beta

① 区切りを定め、その区切りを超えることを禁ずること。② ある定義域で定義された写像について、写像の対応規則は変えずに、その定義域の狭い範囲を取った範囲を使って写像を定義し直すこと。あるいは、そのように作られた写像。元になった写像 f: X → Y に対して A ⊆ X を新しい定義域とすると、この写像を「f の A への制限」と呼び、f|A などと記す。

① 使用方法。