Start=isomorph (vr)

MDLUL/isomorph (vr)

Ziel=Vektorraum/Isomorph/Definition