nLab finite graph

Context

Graph theory

graph theory

graph

category of simple graphs

Contents

Idea

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