Merge Example¶

This example illustrates a transformation operator informally.

It is not a formal definition and does not decide persistence.

Operator¶

MG  merge

Intuition¶

A merge combines multiple referents or structural components into a unified referent or aggregate.

Formal authority¶

The authoritative operator definition is in:

SETheoryTransformation/Domain/Operator/Codes.lean
SETheoryTransformation/Domain/Operator/Labels.lean
SETheoryTransformation/Domain/Operator/Semantics.lean

The reference mirror is in:

reference/transformation-operators.toml

Boundary¶

Merge describes combination.
Persistence is evaluated downstream.