English Dictionary

binary relation

名詞

(set theory, order theory, "on" a set A) A subset of the Cartesian product A×A (the set of ordered pairs (a, b) of elements of A).

日本語の意味

集合論や順序論における概念で、ある集合 A に対して、A のデカルト積 A×A の部分集合として定義される。すなわち、A の元 a と b の間に特定の関係が成立しているかどうかを示すもの。

In set theory, a binary relation on A is defined as a subset of the Cartesian product A×A, and analyzing its reflexivity and transitivity can reveal ordering properties.

集合論において、集合A上の二項関係は直積A×Aの部分集合として定義され、その反射性や推移性を解析することで順序の性質が明らかになります。

意味（1）

(set theory, order theory, "on" a set A) A subset of the Cartesian product A×A (the set of ordered pairs (a, b) of elements of A).

A partially ordered set ⟨A,𝜚⟩ consists of a nonvoid set A and a binary relation 𝜚 on A, such that 𝜚 satisfies properties (P1)-(P3).

意味（2）

(set theory, order theory, "on" or "between" sets A and B) A subset of the Cartesian product A×B.

binary relations （ plural ）