A (hyper-)graph is a set of vertices, with a set of (possibly more than size two-)subsets of vertices called edges. I think usually the set of vertices is finite.
Is it common in graph theory to use the term (hyper-)graph to refer to a non-finite set of vertices?