Sanakirja.org

Määritelmät

Substantiivi

1. (set theory, order theory, "on" a set A) A subset of the Cartesian product ${\displaystyle A\times A}$ (the set of ordered pairs (${\displaystyle a}$, ${\displaystyle b}$) of elements of ${\displaystyle A}$, alternatively written as ${\displaystyle A^{2}}$).
2. (set theory, order theory, "on" or "between" sets A and B) A subset of the Cartesian product ${\displaystyle A\times B}$.