E.17.1:4.1 - Core role
A conforming viewpoint-bundle library makes three things explicit:
- which family is being named, via an ordinary family designator interpreted under exact
R_L; - which
U.ViewpointRefmembers resolve to the exact viewpoint episteme editions packaged by that family; - which exact target-kind compatibility condition and catalogue-edition discipline constrain the family.
This lets MultiViewDescribing import a finite viewpoint family from a stable catalogue U.Episteme instead of restating it ad hoc in every local description family.