subgraph

let $\text{[math]}$ be a graph, let $\text{[math]}$ be another graph such that:

under these constraints, $\text{[math]}$ is a subgraph of $\text{[math]}$ and we denote it by $\text{[math]}$ .