También llamado producto cartesiano, este tiene muchas aplicaciones, como el limíte superior de dos gráficas, este compara cominos entre dos diferentes diagramas( o dos caminos en el mismo diagrama). Esto también se presenta la segunda ocasión en el calculo de los caminos más frecuentes. El diagrama de parejas se crea uniendo dos nodos si hay una liga a través del subconjunto fuente a todos los nodos en el subconjunto destino. En otras palabras, tomar un subconjunto fuente y correr a través de todos sus nodos a los cuales sus miembros son ligados, ese conjunto es el destino. Cuando no hay ligas el subconjunto es conectado al conjunto vacío, de esta manera la cantidad de ligas esta garantizada para cada nodo en el subconjunto vacío. Es decir, configuraciones que no tienen ancestros.
Figure 2.3: Diagrama de parejas