The closed neighborhood of a graph vertex in a graph
is the set
consisting of
together with every vertex adjacent to
. Under a common convention it is also called the graph neighborhood of
, although some authors use "neighborhood"
for the open graph neighborhood
instead.
Two adjacent vertices are true twins exactly when they have the same closed neighborhood.