Context kernel and core carrier

Statement

Set and . By convention .

Meaning and scope

The quotient identifies exactly those source differences invisible to every demanded continuation. It is the coarsest sufficient algebraic carrier; choosing an analytic completion is a further step.

Example

For the coordinate example, , , and .

The paper page includes the reader corrections accompanying this edition.

Source

Paper 2, Definition 2.3. Research note — not peer reviewed.