The basic idea here is that you have a species of graphs and a set of transformation rules that take you from one graph to another — and back again, as I'm only thinking of equational rules — and this partitions the species of graphs into ''transformational equivalence classes'' (TECs). | The basic idea here is that you have a species of graphs and a set of transformation rules that take you from one graph to another — and back again, as I'm only thinking of equational rules — and this partitions the species of graphs into ''transformational equivalence classes'' (TECs). |