Binary Relation - Special Types of Binary Relations

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:

    “It is surely a matter of common observation that a man who knows no one thing intimately has no views worth hearing on things in general. The farmer philosophizes in terms of crops, soils, markets, and implements, the mechanic generalizes his experiences of wood and iron, the seaman reaches similar conclusions by his own special road; and if the scholar keeps pace with these it must be by an equally virile productivity.”
    —Charles Horton Cooley (1864–1929)

    “The wider the range of possibilities we offer children, the more intense will be their motivations and the richer their experiences. We must widen the range of topics and goals, the types of situations we offer and their degree of structure, the kinds and combinations of resources and materials, and the possible interactions with things, peers, and adults.”
    —Loris Malaguzzi (1920–1994)

    “In the relations of a weak Government and a rebellious people there comes a time when every act of the authorities exasperates the masses, and every refusal to act excites their contempt.”
    —John Reed (1887–1920)