Search results
Results from the WOW.Com Content Network
For example, the red and green relations in the diagram are total, but the blue one is not (as it does not relate −1 to any real number), nor is the black one (as it does not relate 2 to any real number). As another example, > is a serial relation over the integers. But it is not a serial relation over the positive integers, because there is ...
A symmetric relation is a type of binary relation. Formally, a binary relation R over a set X is symmetric if: [1], (), where the notation aRb means that (a, b) ∈ R. An example is the relation "is equal to", because if a = b is true then b = a is also true.
The strict ordering relation is transitive, and whenever two rational numbers x and z obey the relation x < z there necessarily exists another rational number y between them (for instance, their average) with x < y and y < z. In contrast, the same ordering relation < on the integers is not idempotent. It is still transitive, but does not obey ...
For example, the green relation in the diagram is an injection, but the red one is not; the black and the blue relation is not even a function. A surjection: a function that is surjective. For example, the green relation in the diagram is a surjection, but the red one is not. A bijection: a function that is injective and surjective.
The nodes of any finite directed acyclic graph, with the relation R defined such that a R b if and only if there is an edge from a to b. Examples of relations that are not well-founded include: The negative integers {−1, −2, −3, ...}, with the usual order, since any unbounded subset has no least element.
This is not asymmetric, because reversing for example, produces and both are true. The less-than-or-equal relation is an example of a relation that is neither symmetric nor asymmetric, showing that asymmetry is not the same thing as "not symmetric". The empty relation is the only relation that is both symmetric and asymmetric.
For example, ≥ is a reflexive relation but > is not. Irreflexive (or strict) for all x ∈ X, not xRx. For example, > is an irreflexive relation, but ≥ is not. Coreflexive for all x, y ∈ X, if xRy then x = y. [7] For example, the relation over the integers in which each odd number is related to itself is a coreflexive relation.
The relation "≥" between real numbers is reflexive and transitive, but not symmetric. For example, 7 ≥ 5 but not 5 ≥ 7. The relation "has a common factor greater than 1 with" between natural numbers greater than 1, is reflexive and symmetric, but not transitive. For example, the natural numbers 2 and 6 have a common factor greater than 1 ...