Branches History Index

◀ ▲ ▶Branches / Set-theory / Lemma: Composition of Relations (Sometimes) Preserves Their Left-Total Property

Lemma: Composition of Relations (Sometimes) Preserves Their Left-Total Property

Let \(A,B,C\) be sets and let let \(R_1\subseteq A\times B\) and \(R_2\subseteq B\times C\) be two left-total relations. Then the composition of the relations \((R_2\circ R_1)\subseteq A\times C\) is also left-total.

Table of Contents

Proofs: 1

Mentioned in:

Proofs: 1

Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs

References

Bibliography

  1. Knauer Ulrich: "Diskrete Strukturen - kurz gefasst", Spektrum Akademischer Verlag, 2001