Die Relation ist nicht reflexiv, da ${\displaystyle {}A}$ nicht zu sich selbst in Beziehung steht. Die Relation ist symmetrisch, da die einzigen Relationsbeziehungen zwischen verschiedenen Elementen die Relation zwischen ${\displaystyle {}B}$ und ${\displaystyle {}D}$ ist, und diese in beide Richtungen gegeben ist. Daher ist die Relation auch nicht antisymmetrisch. Die Relation ist transitiv. Der einzige zu überprüfende nichttriviale Voraussetzung ist ${\displaystyle {}BRD}$ und ${\displaystyle {}DRB}$, wobei die Konklusion wegen ${\displaystyle {}BRB}$ und ${\displaystyle {}DRD}$