境界付き指標

指標は単なる有向グラフと考えてよい（そう考えるべき！）。境界付きグラフがあるんだから境界付き指標があってもいい。

BHKのconstructor-based指標Σを考える。ソートにはlooseとconstrainedがあるが、これをbasicとdefinedと呼び替える。basicソートとbasicオペレータの部分指標をΦとして、defined sortとconstractor symbolからなる部分指標をΨとする。Φを始境界（部分グラフ）δ₀(Σ)、Ψを終境界δ₁(Σ)として境界付き指標ができる。