Recognition is what is established by acts of distinction. When the primitive act — Distinguish — carves one region from another, the regions it produces are recognitions. A recognition is not a thing in itself but a stable pattern within the relational field: something that has been distinguished and can be re-distinguished.
Recognitions are the objects that all relational operations act on. Together combines recognitions. Entails orders them. Close stabilizes them. Flow evolves them. The entire formal vocabulary of relationality operates on recognitions as its basic sort.
In the formal system, recognitions form a complete Heyting-residuated algebra: they have meets (Together), joins (Either), implication (Implies), negation (Negate), and a subsumption order (Entails). This algebraic structure is not assumed but earned — it follows from the requirements of coherence among including and excluding acts.
In the acts system, each act is itself an internal recognition — a recognition earned by applying the derivational algorithm to existing recognitions. The universe of acts is the least fixed point of this generative process, starting from a single primitive act (Relationlessness) and producing all further recognitions through induction.
Derivational context
Recognition is the first product of differentiation, arising in Movement I: Logical Origination. When the primitive act draws a boundary, the regions it produces are recognitions. The derivation’s first two phases — existential coherence and relational coherence — are entirely concerned with what recognitions require and what they produce. The logical operations (Together, Either, Implies, Negate) are earned from the requirements of consistent distinguishing among recognitions.