+++
title = "Immediate Dominator"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["1a3b"]
forwardlinks = ["1a3d"]
zettelid = "1a3c"
+++

The immediate dominator of node $j$ is written as $idom(j)$ and is the
closest strict dominator of $j$ on every path from the entry node to
$j$. It is uniquely determined.