Definition 4 (Graph Editing Distance (GED)):