Lydrextent Ladder

Lydrextent is the diagonal extent-ladder across Antipossibility-family order and Antipossibility intrafamily order.

Lydrextent n is an extent whose metaexpectation-surpassingness has exact Antipossibility coordinate A(n,n): family order n and intrafamily order n. It reaches A(n,n) but does not reach a higher intrafamily order within family n or any higher Antipossibility family.

Lydrextent 1 is an extent whose metaexpectation-surpassingness is exactly Antipossible in order: A(1,1).

Lydrextent 2 is an extent whose metaexpectation-surpassingness is exactly Outerantipossible² in order: A(2,2).

Lydrextent 3 is an extent whose metaexpectation-surpassingness is exactly Transantipossible³ in order: A(3,3).

Lydrextent 4 is an extent whose metaexpectation-surpassingness is exactly the fourth intrafamily order of the fourth Antipossibility family: A(4,4).

Lydrextent 5 is an extent whose metaexpectation-surpassingness is exactly the fifth intrafamily order of the fifth Antipossibility family: A(5,5).

General Lydrextent rule: Lydrextent n corresponds exactly to A(n,n). Therefore each increase in Lydrextent simultaneously increases Antipossibility-family order and intrafamily Metarule order. The Lydrextent ladder continues without a terminal level.

Lydrextent is consequently biordinal: moving from Lydrextent n to Lydrextent n+1 advances both the outer Antipossibility-family coordinate and the inner Antipossibility-order coordinate.