 Rank of a set

ID: rank-of-a-set

Codex  0 Created 2026-09-24 Updated 2026-10-03

The rank is defined by

rank (x) = sup_{y \in x} (rank (y) + 1) .

It is the least ordinal

α

for which

x \subseteq V_{α}

 New to topics? Read the docs here!