A spanning subgraph retains every vertex of the original graph and some or all of its edges. Adding the omitted edges can only enlarge the graph neighbourhood and the external vertex boundary of each fixed vertex set.
New to topics? Read the docs here!