Definition
Definability
Relative to a language
, an interpretation over a domain and a fixed choice of permitted parameters, a set is definable if some formula of satisfies Thus
holds precisely for the elements of . An object is definable if its singleton is definable: a formula singles out uniquely.