Registry · Definition I.D02 established formalized

I.D02 — Progression Operator rho

The sole ontic operator rho: acts as successor within each orbit ray. No other operation creates objects.

Book I Part 1 Ch. 2

Dependency Graph

Depends on (1)

I.D01

Depended on by (17)

I.D04 I.D06 I.D09 I.D10 I.D14 I.K2 I.K3 I.K4 I.K5 I.K6 I.P02 I.P14 I.X01 V.D12 V.D13 V.D308 V.P45

Lean Formalization

Module: TauLib.BookI.Kernel.Axioms

Symbol: Tau.Kernel.rho