Quartz 5
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Foundations
❯
Ordinals
❯
Extends
Extends
Jun 05, 2026
1 min read
Given
Well-ordered
and
, say
extends
if
is the restriction of
to
is an
Initial Segment
of
.
Graph View
Backlinks
Nested
Order on Well-ordered sets