EmptySet -> z
u -> EmptySet
z -> u