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
The composition of two binary relations is defined by:
 E. J. Borowski and J. M. Borwein, The HarperCollins Dictionary of Mathematics, New York: HarperPerennial, 1991 p. 489.