Split Example¶

This example illustrates a transformation operator informally.

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

Operator¶

SP  split

Intuition¶

A split divides a referent into multiple components, parts, branches, or sub-referents.

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¶

Split describes division.
Persistence is evaluated downstream.