Quotient construction relation type

Identify elements by a stated equivalence relation and equip the quotient with the induced structure. The edge detail must state the representatives and equivalence relation.

Directed semantics

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

Term code: quotient-construction
Source role: Quotients to
Target role: Obtained as quotient of
Direct relations in this release: 12
Predecessor-level policy: none
Prerequisite traversal: none

Machine-readable record

/data/latest/relation-types/quotient-construction.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.