Graph intersection (source code)

= Graph intersection
{title2=$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.