Definable set

In mathematical logic and set theory, a **definable set** refers to a set whose properties can be precisely described using a formal language or a logical formula. More specifically, a set \( S \) is considered definable in a mathematical structure if there exists a formula in the language of that structure such that the set \( S \) consists exactly of the elements that satisfy the formula. ### Types of Definability 1.