Induced / forgotten relation type

Pass canonically from a stronger object to structure it determines, or forget part of the data while retaining a valid weaker structure. The carrier may change under a canonical induced construction.

Directed semantics

Every direct mAtlas edge is an authored source → target assertion of this type.

Term code: induced-forgotten
Source role: Yields by induction / forgetting
Target role: Obtained by induction / forgetting from
Direct relations in this release: 62
Predecessor-level policy: none
Prerequisite traversal: none

Machine-readable record

/data/latest/relation-types/induced-forgotten.json provides this definition and the IDs of every direct relation of this type.

A path may traverse an edge backwards for connectivity, but that never reverses the authored source-to-target assertion.