adjacent is a graph operator that tests if there is an edge between two vertices;
The two vertices have the following binary relation, if the test is:
A synonym for adjacent is connected