- 長さ1の指標テレスコープ$`\newcommand{\Within}{\sqsubseteq}`$
- $`(\emptyset \Within S)`$
- 指標の標準分解： 宣言の個数と同じ長さの指標テレスコープ
- 無法則パートと全体で長さ2の指標テレスコープ
- 任意の長さの自明テレスコープ
指標テレスコープの最初の指標を基底指標〈base signature〉、最後の指標を全指標〈total signature〉、その他の成分を中間指標〈intermediate signature〉と呼ぶ。
用途：
- 継承
- パート分け（フィルトレーション）
- パラメータ化
- 情報隠蔽
- 指標の分解
- コンテキスト拡張〈context extension〉（コンテキスト＝指標）
