Definition:Non-Adjacent Vertices (Graph Theory)