Definition
If and are two binary relations, then their composition is the relation
In other words, is defined by the rule that says if and only if there is an element such that (i.e. and ).
In particular fields, authors might denote by R ∘ S what is defined here to be S ∘ R. The convention chosen here is such that function composition (with the usual notation) is obtained as a special case, when R and S are functional relations. Some authors prefer to write and explicitly when necessary, depending whether the left or the right relation is the first one applied.
A further variation encountered in computer science is the Z notation: is used to denote the traditional (right) composition, but ⨾ (a fat semicolon with Unicode code point U+2A3E) denotes left composition. This use of semicolon coincides with the notation for function composition used (mostly by computer scientists) in Category theory.
The binary relations are sometimes regarded as the morphisms in a category Rel which has the sets as objects. In Rel, composition of morphisms is exactly composition of relations as defined above. The category Set of sets is a subcategory of Rel that has the same objects but fewer morphisms. A generalization of this is found in the theory of allegories.
Read more about this topic: Composition Of Relations
Famous quotes containing the word definition:
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)