subgraph

let be a graph, let be another graph such that:

1. ,
2. ,
3. if then and .

under these constraints, is a subgraph of and we denote it by .