コンテナ用語とその他の用語

コンテナスキーマの形状と位置集合〈set of positions〉の組 を仮にテンプレートと呼ぶと。以下は同義語。

• コンテナスキーマのテンプレート
• 変数出現を持つ式と変数出現の集合
• 変数出現を持つ項と変数出現の集合

形状がストリング図のときは、ストリング図とプレースホルダーセルの集合のペアがテンプレート。テンプレートへの値割り当てはラベリングまたはカラーリング。

したがって、テンプレートのポジションを埋めた形状付きデータは閉じた式／項、あるいはラベル／カラー付きダイアグラムになる。