Interesting. I write a lot of code that deals with graphs in engineering data (pipelines, circuits, etc.). And typically I use the somewhat reverse logic to this, which is having 'hyper' vertices, i.e. a vertex can be a grouping of vertices.