Difference between revisions of "Binary relation"
m |
m |
||
| Line 2: | Line 2: | ||
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. | 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. | ||
| + | |||
| + | ==See also== | ||
| + | * [[Equivalence relation]] | ||
| + | * [[Reflexive]] | ||
| + | |||
| + | {{stub}} | ||
Revision as of 11:50, 22 May 2007
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.
See also
This article is a stub. Help us out by expanding it.
