Composition of Binary Relations in Sets

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

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:



[1] E. J. Borowski and J. M. Borwein, The HarperCollins Dictionary of Mathematics, New York: HarperPerennial, 1991 p. 489.

Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.