I.P40 — Extensionality

Extensionality of the orbit-set map: the map Set is injective on each orbit and globally. Distinct tau-elements represent distinct sets. Alpha-orbit injectivity via unique maximum alpha_n; pi-orbit via cardinality; gamma/eta via structural signatures.