Section 19.7 ("Graph Operators, Color Classes, and Graph Expressions"), specifically Section 19.7.3: ("Graph Operators for Joining Groups") in the PGF Manual for Version 3.0.1a describes the approach taken by TikZ for joining groups using different "edge operators" which can be specified using the default edge operator
key.
If no edge operator is explicitly provided in the graph, the initial value matching and star
is used, which is described in Section 19.10 ("Reference: Predefined Elements"), specifically in Section 19.10.3 ("Joining Operators").
This operator joins nodes in target and source groups sequentially and any remaining nodes in one group are joined to the last node in the other.
Considering the example:
\graph { {a,b,c} -> {d,e->f} };
Node a
is joined to node d
, then node b
is joined to node e
. The remaining node c
in the first group is joined to last node the second group e
.
The following example provides further illustration:
\input tikz
\usetikzlibrary{graphs}
\tikzgraphsset{math nodes}
\tikz\graph{ {a_1, b_1, c_1} -> {d_1, e_1, f_1} };
\tikz\graph{ {a_2, b_2, c_2} -> {d_2, e_2} };
\tikz\graph{ {a_3, b_3, c_3} -> {d_3} };
\end

c
connected toe
? – Evan Aad Sep 6 '17 at 12:14default edge operator
, which has no default? – Evan Aad Sep 6 '17 at 12:27default edge operator
which has no default when it is used (it has to have a value). It is initially set tomatching and star
. I also mean the part which says (p. 286) "A list of predefined joining operators can be found in the reference Section 19.10" – Mark Wibrow Sep 6 '17 at 13:15