Noun
A
graph
formed
from
another
by
complementation
and
disjoin
union
.