Search results
Results from the WOW.Com Content Network
A function that is injective. For example, the green relation in the diagram is an injection, but the red, blue and black ones are not. A surjection [d] A function that is surjective. For example, the green relation in the diagram is a surjection, but the red, blue and black ones are not. A bijection [d] A function that is injective and surjective.
The examples "is greater than", "is at least as great as", and "is equal to" are transitive relations on various sets. As are the set of real numbers or the set of natural numbers: whenever x > y and y > z, then also x > z whenever x ≥ y and y ≥ z, then also x ≥ z whenever x = y and y = z, then also x = z. More examples of transitive ...
For example, the red and green binary relations in the diagram are functions, but the blue and black ones are not. An injection: a function that is injective. 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 ...
An example is the relation "is equal to", because if a = b is true then b = a is also true. If R T represents the converse of R, then R is symmetric if and only if R = R T. [2] Symmetry, along with reflexivity and transitivity, are the three defining properties of an equivalence relation. [1]
An example of a left quasi-reflexive relation is a left Euclidean relation, which is always left quasi-reflexive but not necessarily right quasi-reflexive, and thus not necessarily quasi-reflexive. An example of a coreflexive relation is the relation on integers in which each odd number is related to itself and there are no other relations. The ...
A famous example is the recurrence for the Fibonacci numbers, = + where the order is two and the linear function merely adds the two previous terms. This example is a linear recurrence with constant coefficients , because the coefficients of the linear function (1 and 1) are constants that do not depend on n . {\displaystyle n.}
Equivalence relations are a ready source of examples or counterexamples. For example, an equivalence relation with exactly two infinite equivalence classes is an easy example of a theory which is ω-categorical, but not categorical for any larger cardinal number.
A modern, abstract point of view contrasts large function spaces, which are infinite-dimensional and within which most functions are 'anonymous', with special functions picked out by properties such as symmetry, or relationship to harmonic analysis and group representations. See also List of types of functions