Reorganization Example¶

This example illustrates a transformation family informally.

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

Family¶

reorganization

Intuition¶

A reorganization changes arrangement, ordering, or organizational placement without necessarily changing membership.

Formal authority¶

The authoritative family and operator mappings are in:

SETheoryTransformation/Domain/TransformationFamily.lean
SETheoryTransformation/Domain/Operator/Semantics.lean

The reference mirrors are in:

reference/transformation-families.toml
reference/transformation-operators.toml

Boundary¶

Reorganization describes arrangement change.
Persistence is evaluated downstream.