A corollary of the axiom is that the binary relation of parallel lines is a serial relation.
Из аксиомы вытекает, что бинарное отношение параллельности прямых является серийным отношением.
Many of the theorems about partial cubes are based directly or indirectly upon a certain binary relation defined on the edges of the graph.
Множество теорем о частичных кубах опираются прямо или косвенно на некоторое бинарное отношение, определённое на рёбрах графа.
In mathematical logic, a binary relation plays a crucial role in formal proofs.
В математической логике двоичное отношение играет важную роль в формальных доказательствах.
Every binary relation can be represented in a rectangular array or matrix.
Каждое двоичное отношение может быть представлено в виде прямоугольного массива или матрицы.
Finding a binary relation between two sets can reveal significant information.
The concept of a binary relation extends to various fields, including computer science.
We can visualize a binary relation as a graph connecting two distinct sets.
Мы можем визуализировать двоичное отношение как график, соединяющий два различающихся множества.
In mathematics, a binary relation establishes a relationship between different pairs of objects.
В математике двоичное отношение устанавливает связь между разными парами объектов.
A binary relation can be reflexive, symmetric, or transitive based on its properties.
Двоичное отношение может быть рефлексивным, симметричным или транзитивным в зависимости от его свойств.
In set theory, every binary relation can be defined by a set of ordered pairs.
В теории множеств каждое двоичное отношение может быть определено набором упорядоченных пар.
One of them is the transitive closure of a binary relation.
A function is a specific type of binary relation that pairs each input with one output.
Функция - это специфический вид двоичного отношения, который сопоставляет каждому входящему значению одно выходное.
Depending on how one counts the arity of a relation, i.e., the number of items it relates, this might suggest that even on the classical interpretation, reduction is not a binary relation.
В зависимости от того, как подсчитывается арность отношения, т. е. количество элементов, к которым оно относится, это может указывать на то, что даже в классической интерпретации редукция не является бинарным отношением.