Mycielski apex (source code)

= Mycielski apex
{c}
{title2=$w$}

The <Mycielski apex> is the added <vertex> adjacent to every <Mycielski shadow vertex> and to no original <vertex>. Its <graph neighbourhood> is precisely $\{u_1,\ldots,u_n\}$.