MDLUL/repräsentierbar (Relation Menge)
Start=repräsentierbar (Relation Menge)
MDLUL/repräsentierbar (Relation Menge) |
---|
Ziel=Arithmetik/Satzmenge/Relation/Repräsentierung (stark)/Definition
Start=repräsentierbar (Relation Menge)
MDLUL/repräsentierbar (Relation Menge) |
---|
Ziel=Arithmetik/Satzmenge/Relation/Repräsentierung (stark)/Definition