Mit R∘R wird die Verkettung einer binären Relation R auf einer Menge M bezeichnet. R∘R enthält genau die Paare (a,c)∈M×M, für die ein b∈M mit (a,b)∈R und (b,c)∈R existiert.
Zeigen Sie: Ist R eine partielle Ordnung auf einer Menge M, dann ist auch R∘R eine partielle Ordnung auf M
