### 7.46: Example for injective, label-preserving graph morphisms

Verfasst:

**7. Jul 2016 16:19**Hi,

does someone know a graph morphism \(r=(\operatorname{\mathit{v-f}}, \operatorname{\mathit{e-f}})\) for the De-Jure-Rule "x creates \(\alpha\) for new object y"?

I don't get how we could create the y subject when we only have \(\operatorname{\mathit{v-f}}: V_L \rightarrow V_R\), i.e. we can't tell the function to create anything, which didn't exist before!!

felicis

does someone know a graph morphism \(r=(\operatorname{\mathit{v-f}}, \operatorname{\mathit{e-f}})\) for the De-Jure-Rule "x creates \(\alpha\) for new object y"?

I don't get how we could create the y subject when we only have \(\operatorname{\mathit{v-f}}: V_L \rightarrow V_R\), i.e. we can't tell the function to create anything, which didn't exist before!!

felicis