個体定項 (Individual Constant ・ Name)

個体定項は、議論領域の特定の要素を指す記号で、変数のように量化子によって値を変えない。定項の意味は構造と解釈の組で決まり、文脈を越えて同じ実体を保証するものではない。

仕組みと確認

議論領域を定め、各定項がどの要素へ写像されるかを表にする。ドメインモデルでは識別子、寿命、所有者、テナント境界を定義し、同一性のルールをテストする。

限界と注意点

定項記号の同じ名前だけで実体の同一性を推測しない。再利用されたID、複製、匿名化、時点の違いがある場合は、モデルに世代やスコープを含める。