Graph theory: neighbors, complete graphs, universal vertices
Graph theory: neighbors, complete graphs, universal vertices

Graph theory: Definition of neighbors (of a vertex), complete (undirected simple) graphs and universal vertices.
Corrections according to remarks of Gerard Lang.

metamath/set.mm,metamath/set.mm,metamath/set.mm