In → graph theory, a graph with any number of → vertices which do not have → edges.
See also: → empty; → graph.