Conjunto definível
Sign in to saven-ary relation on the domain of a structure whose elements satisfy some formula in the
Article · Português
Na lógica matemática, um conjunto definível é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura. Um conjunto pode ser definido com ou sem parâmetros, que são elementos do domínio que podem ser referenciados na fórmula que define a relação.
Abstract from DBpedia / Wikipedia · CC BY-SA