Defining Structural Emptiness: The Structural Meaning of an Empty Eligibility Fiber (Structural Series, Paper IV)

PAPER IV: The previous paper of the series established that an eligibility fiber may be empty and that the empty fiber constitutes one of five structural classes of transitions at the transition–event interface. The present paper addresses a narrower question: what precisely makes an empty eligibility fiber a case of structural emptiness? A transition is defined to be structurally empty when its entire row in the primitive relation ℛ ⊆ T × E is empty, C(T) = ∅. The paper tests the adjective: structural emptiness is shown to be relational, invariant and universal. It is equivalent to seven further conditions, among them the absence of every eligibility pair involving the transition, non-membership in the domain of the relation, and orphanhood in the converse relation; it is exactly the complement of the domain, so that it measures the failure of the interface to be total, and, in a precise sense, the partiality of the interface regarded as a would-be function. It is invariant under isomorphism and strong morphisms and under the reductions used in the series, and reflected by arbitrary morphisms. As a universal condition it is stable under restriction of the event space, fragile under its extension, antitone in the relation, and costly to verify, since a certificate must inspect every event. It is not absence of the transition, not emptiness of the event space, not an explanation, not permanence, not failure, not degeneracy and not minimality. A developed case study, the access-control matrix of a protection system, illustrates each point. The paper isolates emptiness as a primitive structural property without order, closure or persistence, and closes by asking how emptiness behaves when an order on fibers is introduced.