Start=isomorph (Graph)

MDLUL/isomorph (Graph)

Ziel=Ungerichteter Graph/Isomorph/Definition