Speed of a graph property
= Speed of a graph property
{title2=$|\mathcal P_n|$}
The speed counts the labelled <graphs> with a given property on <vertex> set $[n]$. For proper unbounded <hereditary graph properties>, its base-two logarithm has leading term $(1-1/r)\binom n2$, where $r$ is the property's colouring number.