Codex > Ordinals (Set Theory)
🅟 Mar 06, 2026
🅤 Mar 06, 2026
DEF-ONO. Normal Ordinal Sequence. An ordinal sequence is normal if it is strictly increasing and continuous.
DEF-ONO. Normal Ordinal Sequence.
An ordinal sequence is normal if it is strictly increasing and continuous.