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.
В теории множеств каждое двоичное отношение может быть определено набором упорядоченных пар.
A binary relation between students and courses could show which student is enrolled in which course.
Двоичное отношение между студентами и курсами может показывать, какой студент записан на какой курс.
A binary relation connects elements from one set to elements in another set.
Двоичное отношение соединяет элементы из одного множества с элементами другого множества.
One of them is the transitive closure of a binary relation.