MDLUL/repräsentierbare Relation
Start=repräsentierbare Relation
MDLUL/repräsentierbare Relation |
---|
Ziel=Arithmetik/Satzmenge/Relation/Repräsentierung_(stark)/Definition
Start=repräsentierbare Relation
MDLUL/repräsentierbare Relation |
---|
Ziel=Arithmetik/Satzmenge/Relation/Repräsentierung_(stark)/Definition