BinarySearch[l,k]

ソートされたリスト l でキー k を探索し，k が l に存在する場合は k を含む l の位置を与える．k が l にない場合はが返される．ここで k は位置 および の l の要素の間にある．

BinarySearch[l,k,f]

f を l の各要素に適用することにより，l から得られたリストの k の位置を与える．