同義語になる

n-セオリーの立場からは、次は、次元や具体的状況が違うだけで同義になる。

• 変数状態
• 値割り当て
• 評価環境
• リテラル（定数）解釈
• データベース状態
• データベースインスタンス
• 代数セオリーのモデル＝代数
• 基本命題の真偽値割り当て
• なんらかの意味のモデルインスタンス

となると、評価環境ρにおける評価 Eval_ρ の対応物もあるはず。具体的なモデルを前提にした式（シェープ、シェマ、ブループリント、テンプレート、パターン）の実体化〈actualize | concretize〉。