  The constructible hierarchy is defined by a similar recursion on the ordinals, where \(\Def(X)\) is the set of all subsets of \(X\) which are first-order definable in the structure \((X, \in, (x)_{x\in X})\):[7]