A set $X$ is said to be *admissible* if it is [[transitive]] and $(X,\in)$ satisfies the [[Kripke-Platek]] axioms. >[!example] >- For any uncountable cardinal $\kappa$, $H(\kappa)=\{ x \mid |TC(x)|<\kappa\}$ is admissible.