Special Types of Binary Relations
Some important types of binary relations R between X and Y are listed below.
Uniqueness properties:
- injective (also called left-unique): for all x and z in X and y in Y it holds that if xRy and zRy then x = z.
- functional (also called right-unique or right-definite): for all x in X, and y and z in Y it holds that if xRy and xRz then y = z; such a binary relation is called a partial function.
- one-to-one (also written 1-to-1): injective and functional.
Totality properties:
- left-total: for all x in X there exists a y in Y such that xRy (this property, although sometimes also referred to as total, is different from the definition of total in the next section).
- surjective (also called right-total): for all y in Y there exists an x in X such that xRy.
Uniqueness and totality properties:
- A function: a relation that is functional and left-total.
- A bijection: a one-to-one correspondence; such a relation is a function and is said to be bijective.
Read more about this topic: Binary Relation
Famous quotes containing the words special, types and/or relations:
“We cannot set aside an hour for discussion with our children and hope that it will be a time of deep encounter. The special moments of intimacy are more likely to happen while baking a cake together, or playing hide and seek, or just sitting in the waiting room of the orthodontist.”
—Neil Kurshan (20th century)
“Our children evaluate themselves based on the opinions we have of them. When we use harsh words, biting comments, and a sarcastic tone of voice, we plant the seeds of self-doubt in their developing minds.... Children who receive a steady diet of these types of messages end up feeling powerless, inadequate, and unimportant. They start to believe that they are bad, and that they can never do enough.”
—Stephanie Martson (20th century)
“The interest in life does not lie in what people do, nor even in their relations to each other, but largely in the power to communicate with a third party, antagonistic, enigmatic, yet perhaps persuadable, which one may call life in general.”
—Virginia Woolf (1882–1941)