Dominator

Definition

A node $d$ dominates a node $n$ if every Path from $n$ must go through $d$