Found:

Minimal domain

**SYNTAX: **Notion in **checking theory**. The minimal domain of X is the smallest subset K of the **domain**(X) S, such that for any element A of S, some element B of K reflexively dominates A.
** EXAMPLE:** In (i), the minimal domain of X is {UP, ZP, WP, YP, H}. The minimal domain of H is {UP, ZP, WP, YP}.

(i) XP_{1}/\ / \ UP XP_{2}/\ / \ ZP_{1}X' /\ /\ / \ / \ WP ZP_{2}X_{1}YP /\ / \ H X_{2}

LIT. | Chomsky, N. (1993) |