A BINARY RELATION in Portuguese translation

• uma relação binária

Examples of using A binary relation in English and their translations into Portuguese

In mathematics, a binary relation R over a set X is transitive if whenever an element a is related to an element b
Na matemática, uma relação binária R sobre um conjunto X é dita total se para todo a e b em X, a está relacionado com b

FP is formally defined as follows: A binary relation P(x, y)
FP é formalmente definida da seguinte forma: Uma relação binária P(x, y)

R is a binary relation on W. Elements of W are called nodes
R é uma relação binária sobre W. Elementos de W são denominados nós

A binary relation tells you only that node a is connected to node b, and that node b is connected to node c, etc. After the transitive closure is constructed, as depicted in the following figure, in an O(1) operation one may determine that node d is reachable from node a..
Uma relação binária apenas informa que esse nó a está conectado ao nó b, e que o nó b está conectado ao nó c,etc. Após o fecho transitivo ser construído, como mostrado na figura abaixo, em uma operação O(1) pode se determinar que o nó d é atingível a partir do nó a.

a bisimulation relation is a binary relation R{\displaystyle R}
uma relação de bissimulação é uma relação binária R{\displaystyle R}

Define a binary relation formula_58 on the set of formula_57-terms such that formula_60 if
Defina uma relação binária formula_57 no conjunto de formula_56-termos tal que formula_59

The TFNP formal definition is given as follows: A binary relation P(x, y)
A definição formal de TFNP é dada da seguinte forma: Uma relação binária P(x, y)

A binary relation P(x, y)
Uma relação binária P(x, y)

two binary operations+ and· on M, a binary relation< on M,
duas operações binárias+ e. em M, uma relação binária< em M,

Relation-preserving isomorphism=== If one object consists of a set" X" with a binary relation R and the other object consists of a set" Y" with a binary relation S then an isomorphism from" X" to" Y" is a bijective function such that: :formula 21S is reflexive, irreflexive, symmetric,
Exemplos abstratos===== Um relação de preservação de isomorfismo=== Se um objeto consiste de um conjunto" X" com uma relação binária R e o outro objeto consiste de um conjunto" Y" com uma relação binária S então um isomorfismo de" X" para" Y" é uma função bijetora

In mathematics, a binary relation, R, is called well-founded(or wellfounded) a relation is well founded if(∀ S⊆ X).{\displaystyle(\forall S\subseteq X)\;.} Some authors include an extra condition that R is set-like, i.e., that the elements less than any given element form a set.">
Em matemática, uma relação binária R é uma relação bem-fundada em uma classe X,

v→ w is in P. Note that→G is a binary relation on the strings of Σ.
v→ w está em P. Note que→G é uma Relação binária nas cadeias de Σ.

A f B is the binary relation A requires B,
A f B é a relação binária A requer B,

There is also a primitive binary relation called order,
Existe também uma relação binária chamada ordem,

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

Adding a single binary relation symbol to monadic logic,
Adicionando um único símbolo de relação binária à lógica monádica,

The fundamental primitive binary relation is Inclusion,
A relação binária primitiva fundamental é a inclusão,

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.

The signature has equality and a single primitive binary relation, set membership,
A assinatura possui igualdade e uma única relação binária primitiva, que é a pertinência,

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.