Back Ensemble définissable French קבוצה ניתנת להגדרה HE 定義可能集合 Japanese 정의 가능 집합 Korean Conjunto definível Portuguese
In mathematical logic, a definable set is an n-ary relation on the domain of a structure whose elements satisfy some formula in the first-order language of that structure. A set can be defined with or without parameters, which are elements of the domain that can be referenced in the formula defining the relation.