 Mycielski apex

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,\dots ,u_n\}$.