Ordinal definable

Summary