MDLUL/repräsentierbare Relation

Start=repräsentierbare Relation

MDLUL/repräsentierbare Relation

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