U+2A3E Z Notation Relational Composition

Die Wikipedia hat die folgende Information zu diesem Codepunkt:

In the mathematics of binary relations, the composition of relations is the forming of a new binary relation R ; S from two given binary relations R and S. In the calculus of relations, the composition of relations is called relative multiplication, and its result is called a relative product.^: 40 Function composition is the special case of composition of relations where all relations involved are functions.

The word uncle indicates a compound relation: for a person to be an uncle, he must be the brother of a parent. In algebraic logic it is said that the relation of Uncle ($xUz$) is the composition of relations "is a brother of" ($xBy$) and "is a parent of" ($yPz$). $U=BP\text{ is equivalent to: }xUz\text{ if and only if }\exists yxByPz.$

Beginning with Augustus De Morgan, the traditional form of reasoning by syllogism has been subsumed by relational logical expressions and their composition.