Hereditarily ordinal definable