A matching family is effective if some restricts to on every .
Meaning and scope
Compatibility becomes effective only when a permitted global tight realization actually exists.
Example
With unrestricted finite-dimensional carriers, the first and second coordinate realizations glue through . A rank-one carrier restriction prevents that realization.
The paper page includes the reader corrections accompanying this edition.