To each of these domains there corresponds a generator, and to each cross-over there corresponds a relator.

这些的一对应一生成元，而叉点对应一关系子。