Source: wikibot/ordinal-definable-set
= Ordinal definable set
{wiki=Ordinal_definable_set}
In set theory, an **ordinal definable set** (often abbreviated as OD set) is a set that can be uniquely defined by a formula that contains only ordinal parameters.