Given a dense-image source map and an operation , set .
Meaning and scope
The defect records outputs that remain when the chosen realization makes the inputs disappear. If defines an operator on , Proposition 7.2 identifies this defect with the multivalued part of its graph closure.
Example
For , its inclusion into , and , the defect is . For the identity inclusion with , the defect is zero.
The paper page includes the reader corrections accompanying this edition.
Source
[Paper 1, Definition 7.1](/public/papers/released/Paper I - Infinite Index Fusion.pdf#page=7). Research note — not peer reviewed.
Bidirectional research graph
Where this object sits in the mathematics
Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.