Mycielski shadow vertex
= 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>.