What is the translation of " BINARY RELATION " in Portuguese?

• relação binária

Examples of using Binary relation in English and their translations into Portuguese

The turnstile represents a binary relation.
A catraca representa uma relação binária.

This time, the binary relation is of the‘yes-no' type.
A correlação binária dessa vez é do tipo‘sim-não.

For example, consider the language with one binary relation symbol.
Por exemplo, considere a linguagem com uma relação binária de símbolo.

This corresponds to a binary relation, say G(f, i) on FIRST_NAME X LAST_NAME.
Isso corresponde a uma relação binária, digamos, G(p, u) com PRIMEIRO_NOME x ULTIMO_NOME.

The first approach is to treat equality as no different than any other binary relation.
A primeira abordagem é tratar a igualdade como não diferente de qualquer outra relação binária.

Given a domain"D", let binary relation"R" be a subset of"D"×"D.
Dado um domínio"D", a relação binária"R" é um subconjunto de"D"×"D.

Here, the evenness of zero is directly manifested as the reflexivity of the binary relation.
Aqui, a paridade de zero é diretamente manifestada como a reflexividade da relação binária∼{\displaystyle\sim.

There is also a primitive binary relation called order, denoted by infix.
Existe também uma relação binária chamada ordem, denotada pelo infixo.

A finitary function on the natural numbers is called arithmetical if its graph is an arithmetical binary relation.
Uma função finita sobre os números naturais é chamada de aritmética se o seu gráfico é uma relação binária aritmética.

The fundamental primitive binary relation is Inclusion, denoted by infix"≤.
A relação binária primitiva fundamental é a inclusão, denotada por infixo"≤.

The binary relation formula_3 relates a formula to a truth value: formula_4 means that formula_5 is true, and formula_6 means that formula_5 is false.
A relação binaria formula_3 relaciona uma fórmula a um valor verdade: formula_4 significa que formula_5 é verdadeiro, e formula_6 significa formula_5 é falso.

Set theory begins with a fundamental binary relation between an object o and a set A.
Teoria dos conjuntos começa com uma fundamental relação binária entre um objeto o e um conjunto A.

A derived binary relation between two sets is the subset relation, also called set inclusion.
Uma relação binária derivada entre dois conjuntos é a relação subconjunto, também chamada'está contido.

Such a matrix can be used to represent a binary relation between a pair of finite sets.
Tal matriz pode ser usada para representar uma relação binária entre um par de conjuntos finitos.

Adding a single binary relation symbol to monadic logic, however, results in an undecidable logic.
Adicionando um único símbolo de relação binária à lógica monádica, entretanto, resulta em uma lógica indefinível.

The signature has equality and a single primitive binary relation, set membership, which is usually denoted∈.
A assinatura possui igualdade e uma única relação binária primitiva, que é a pertinência, normalmente denotada por∈.

This defines a binary relation on strings, called the prefix relation, which is a particular kind of prefix order.
Isto define uma relação binária sobre cadeias, chamada relação de prefixos, que é um tipo particular de ordem de prefixos.

Basic concepts and notation==Set theory begins with a fundamental binary relation between an object and a set.
Conceitos básicos==Teoria dos conjuntos começa com uma fundamental relação binária entre um objeto"o" e um conjunto"A.

The transitive closure of a binary relation cannot, in general, be expressed in first-order logic FO.
O fecho transitivo de uma relação binária não pode, geralmente, ser expresso em lógica de primeira ordem LPO.

In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive.
Em matemática, mais especificamente em teoria da ordem, uma pré-ordem é uma relação binária reflexiva e transitiva.

Given a grammar, the binary relation(pronounced as"G derives in one step") on strings in is defined by.
Dada uma gramática, a relação binária(pronunciada como"G deriva em um passo") nas cadeias em é definida por.

Assuming that identity, denoted by infix"=", is part of the background logic, the binary relation Proper Part, denoted by infix".
Assumindo que a identidade, denotada por infixado"=", faz parte da lógica de fundo, a Parte Apropriada relação binária, denotada por infixado".

An equivalence relation is a binary relation that is reflexive, symmetric, and transitive.
Uma relação de equivalência é uma relação binária que é reflexiva, simétrica e transitiva.

Terminology==In general terms, a calculus is a formal system that consists of a set of syntactic expressions("well-formed formulas"), a distinguished subset of these expressions(axioms), plus a set of formal rules that define a specific binary relation, intended to be interpreted to be logical equivalence, on the space of expressions.
Em termos gerais, um cálculo é frequentemente apresentado como um sistema formal que consiste em um conjunto de expressões sintáticas( fórmulas bem formadas, ou fbfs), um subconjunto distinto dessas expressões, e um conjunto de regras formais que define uma relação binária específica, que se pretende interpretar como a noção de equivalência lógica, no espaço das expressões.

In the special case with just one binary relation, we obtain the notion of a graph homomorphism.
Nos casos especiais com somente uma relação binária, nós obtemos a noção de um homomorfismo de grafos.

More formally, given a binary relation R⊆{\displaystyle\subseteq} P× Q between sets P and Q, one can call a subset P* of P an"abstract exact cover" of Q if each element in Q is RT-related to exactly one element in P.
Mais formalmente, dada a relação binária R contido próprio em P× Q entre as séries P e Q, pode-se chamar um subconjunto P* de P uma"cobertura exata abstrata" de Q se cada elemento em Q é R^(-1) relacionada com a exatamente um elemento em P.

In the case of graphs(in the signature consisting of one binary relation), subgraphs, and its weak substructures are precisely its subgraphs.
No caso de grafos(na assinatura consistindo de uma relação binária), as subestruturas induzida de um grafo são precisamente os seus subgrafos induzidos, e suas subestruturas fracas são precisamente seus subgrafos.

Set theory begins with a fundamental binary relation between an object o and a set A. If o is a member(or element) of A, the notation o∈ A is used.
Conjunto Teoria dos conjuntos começa com uma fundamental relação binária entre um objeto o e um conjunto A. Se o é um membro(ou elemento) de A, nós escrevemos o∈ A. Uma vez que conjuntos são objetos.

In mathematics, a directed set(or a directed preorder or a filtered set) is a nonempty set A together with a reflexive and transitive binary relation≤(that is, a preorder), with the additional property that every pair of elements has an upper bound.
Em matemática, um conjunto direcionado(ou uma pré-ordem direcionada ou um conjunto filtrado) é um conjunto não vazio A junto com uma relação binária reflexiva e transitiva≤(isto é, uma pré-ordem), com a propriedade adicional de que todo par de elementos tem uma cota superior.

The new component R{\displaystyle R} is a binary relation relating values in the domain to plural variable symbols.
O novo componente R{\displaystyle R} é uma ralação binária que associa valores no domínio D{\displaystyle D} aos símbolos de variáveis plurais.