(graph theory, of a graph) Such that there exists a finite vertex set so that for any vertex there exists another vertex in that finite set and an injective homomorphism of the graph that maps the second vertex to the first vertex.