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:
“I don’t like to be idle; in fact, I often feel somewhat guilty unless there is some purpose to what I am doing. But spending a few hours—or a few days—in the woods, swamps or alongside a stream has never seemed to me a waste of time.... I derive special benefit from a period of solitude.”
—Jimmy Carter (James Earl Carter, Jr.)
“If there is nothing new on the earth, still the traveler always has a resource in the skies. They are constantly turning a new page to view. The wind sets the types on this blue ground, and the inquiring may always read a new truth there.”
—Henry David Thoreau (1817–1862)
“What a man sows, that shall he and his relations reap.”
—Clarissa Graves (1892–1985?)