MDLUL/reflexiv (Relation)

Start=reflexiv (Relation)

MDLUL/reflexiv (Relation)

Ziel=Menge/Relation/Reflexiv/Definition