The open graph neighborhood of a graph vertex in a graph
is the set
consisting of the vertices adjacent to , but not
itself. Adding
gives the closed neighborhood
.
Two nonadjacent vertices are false twins exactly when their open graph neighborhoods are equal.