Limit / controlled approximation relation type
The target is recovered from the source either in a stated mathematical or asymptotic limit, or through a quantitatively controlled approximation with identified small parameters or omitted terms. The edge label and detail must state which case applies and its regime of validity.
Directed semantics
Every direct mAtlas edge is an authored source → target assertion of this type.
Machine-readable record
/data/latest/relation-types/mathematical-limit.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.