MDLUL/repräsentierbar (Relation Menge)

Start=repräsentierbar (Relation Menge)

MDLUL/repräsentierbar (Relation Menge)

Ziel=Arithmetik/Satzmenge/Relation/Repräsentierung (stark)/Definition