Invariant Topology and the Conditions of Structural Evaluability in the Modal–Dependence Calculus

This paper establishes the structural conditions under which evaluability is defined within the Modal–Dependence Calculus (MDC). Admissibility is identified with the definability of the dependence relation D*(x, c), expressed by the indicator τ(x). Evaluability is thereby shown to be a consequence of structural constraints: a topology admits only elements for which τ(x) = 1. Non-invariant topologies admit elements where D* is undefined, constituting a failure of structural evaluability.