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.