Mihalcea (2005) or Sinha and Mihalcea (2007)] (Note that this subgraph is a hybrid, because only its vertices belong to G) In practice, subgraph edges may be directed, weighted, collapsed, or filtered.
to keep the distinctions between subgraph types simple, we do not include this in our formalisation.