Database
GRAPH THEORY
Undirected graphs
Neighbors, complete graphs and universal vertices
Neighbors
cnbgr
Next ⟩
df-nbgr
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cnbgr
Description:
Extend class notation with neighbors (of a vertex in a graph).
Ref
Expression
Assertion
cnbgr
class
NeighbVtx