境界付き指標もっと

もう少し考えよう。有向グラフとしての指標Σ（有限に限らない！）、部分有向グラフΦ、Ψを一緒に考える。|Φ| = B を基本(basic)ソート、|Ψ| = D を公開定義（public defined）ソートと呼ぶ。

別な部分グラフΔ⊆Σがあるとして、Δの辺はコンストラクタ演算記号と呼ばれる。Σがconstructor-based指標であるとは、|Δ|∩D = D であること。つまり、すべての公開定義ソートがΔに含まれること。ただし、Δ∩Ψ = Ψ である必要はない。

b∈B、d∈Dに対してPath_Δ(b, d)がコンストラクタ項となる。