Theory of the random graph (source code)

= Theory of the random graph
{title2=$T_{\mathrm{rg}}$}

The theory of the random graph says that the edge relation is irreflexive and symmetric and that, for every two finite disjoint vertex sets, a new vertex is adjacent to every vertex of the first and none of the second.