Source: wikibot/ordinal-definable-set

= Ordinal definable set
{wiki=Ordinal_definable_set}