自然数を要素とする有限リストに適用し、真偽値を返す関数の名前を考えています。

この関数は、適用したリストが、1番目の要素として 1 が、2番目の要素として 2 が、・・・
n 番目の要素として n が入っている状態では真を、そうでない場合は偽を返します。
（べつに 0 から始めても何も問題ありません）

整列しているというニュアンスから aligned を考えましたが、
やや抽象的といいますか、曖昧という感じがします。

なにか良い名前はないでしょうか。