Branch Example¶

This example illustrates a transformation operator informally.

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

Operator¶

BR  branch

Intuition¶

A branch creates a divergent continuation from a prior referent.

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¶

Branch describes divergence.
Persistence is evaluated downstream.