Composition of Binary Relations in Sets
Initializing live version

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Given two binary asymmetric relations (red arrows) and
(green arrows), this Demonstration shows their composition
(dashed blue), union
(dashed brown) and intersection
(dashed black).
Contributed by: Izidor Hafner (January 2018)
Open content licensed under CC BY-NC-SA
Snapshots
Details
The composition of two binary relations is defined by:
.
Reference
[1] E. J. Borowski and J. M. Borwein, The HarperCollins Dictionary of Mathematics, New York: HarperPerennial, 1991 p. 489.
Permanent Citation