Mycielski shadow vertex (source code)

= Mycielski shadow vertex
{c}
{title2=$u_i$}

A <Mycielski shadow vertex> $u_i$ has <graph neighbourhood> $N_G(v_i)\cup\{w\}$ in $\mu(G)$. Its neighbours other than the <Mycielski apex> are original <vertices>. All <Mycielski shadow vertices> form an <independent set>.