admissible set

in mathematical logic, a transitive set satisfying the axioms of Kripke-Platek set theory