A sub-graph of a graph \( G \) is a graph, each of whose vertices belongs to \( G \) and whose edges belongs to \( G \).