Graph intersection ($E(F\cap G)=E(F)\cap E(G)$)

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