A graph whose vertices and edges are subsets of another graph. Formal Definition: A graph G'=(V', E') is a subgraph of another graph G=(V, E) iff

• V'⊆ V, and
• E'⊆ E ∧ ( (v₁, v₂)∈ E' → v₁, v₂∈ V').