 Graph intersection

For two graphs on the same vertex set, their graph intersection retains exactly the edges belonging to both.