Difference between revisions of "Binary relation"
m |
m |
||
Line 1: | Line 1: | ||
A '''binary relation''' is a [[relation]] which relates pairs of objects. | A '''binary relation''' is a [[relation]] which relates pairs of objects. | ||
− | Thus, the relation <math>\sim</math> of [[triangle]] [[similarity]] is a binary relation over the [[set]] of triangles but the relation <math>R(x, y, z) = \{(x, y, z) \mid x, y, z \in \mathbb{Z}_{>0}, x\cdot y = z\}</math> which says <math>x\cdot y</math> is a [[factor]]ization of <math>z</math> over the [[positive integer]]s is not a binary relation because it takes 3 arguments. | + | Thus, the relation <math>\sim</math> of [[triangle]] [[similarity]] is a binary relation over the [[set]] of triangles but the relation <math>R(x, y, z) = \{(x, y, z) \mid x, y, z \in \mathbb{Z}_{>0}, x\cdot y = z\}</math> which says <math>x\cdot y</math> is a [[divisor | factor]]ization of <math>z</math> over the [[positive integer]]s is not a binary relation because it takes 3 arguments. |
Revision as of 09:45, 11 August 2006
A binary relation is a relation which relates pairs of objects.
Thus, the relation of triangle similarity is a binary relation over the set of triangles but the relation
which says
is a factorization of
over the positive integers is not a binary relation because it takes 3 arguments.