finite graph in nLab

Contents

Idea

A graph is finite if both its set of vertices as well as its set of edges are finite sets.

Related concepts

• finite set

• finite category

References

See also

• MathWorld, Finite graph