Branches History Index

◀ ▲ ▶Branches / Set-theory / Lemma: Composition of Relations Preserves Their Right-Uniqueness Property

Lemma: Composition of Relations Preserves Their Right-Uniqueness 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 right-unique relations. Then the composition of the relations \((R_2\circ R_1)\subseteq A\times C\) is also right-unique.

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