A graph element which is also a graph, i.e. it may contain other graph elements.