Binary relation

/ˈbaɪ.ner.i rɪˈleɪ.ʃən/ noun

noun ·Rare ·Advanced level

Definitions

Noun
  1. 1
    A subset of the Cartesian product A×A (the set of ordered pairs (a, b) of elements of A, alternatively written as A²).

    "A partially ordered set #92;langleA,#92;varrho#92;rangle consists of a nonvoid set A and a binary relation #92;varrho on A, such that #92;varrho satisfies properties (P1)-(P3)."

  2. 2
    A subset of the Cartesian product A×B.

Example

More examples

"A partially ordered set #92;langleA,#92;varrho#92;rangle consists of a nonvoid set A and a binary relation #92;varrho on A, such that #92;varrho satisfies properties (P1)-(P3)."