ensemble définissable
Sign in to saven-ary relation on the domain of a structure whose elements satisfy some formula in the
Article · Français
En mathématiques, un ensemble définissable dans une structure donnée d'ensemble de base M est un sous-ensemble de Mm (m entier naturel) pour lequel on peut trouver une formule du langage de la structure, avec éventuellement pour paramètres des éléments de M, de façon que les éléments sont exactement ceux qui satisfont cette formule.
Abstract from DBpedia / Wikipedia · CC BY-SA