Minimal residue

Notion in checking theory. The minimal residue of X is the smallest subset K of the residue(X) S, such that for any element A of S, some element B of K reflexively dominates A.

Example
In (i), the residue of X is ZP, UP, WP, H and whatever these categories dominate. The minimal residue of X is just {ZP, UP, WP, H}. The minimal residue of H is {UP, ZP, WP}.

(i)   XP1 /\      /  \      UP  XP2 /\       /  \      ZP1    X'     /\      /\ / \    /  \   WP  ZP2  X1  YP           /\ / \         H   X2

Links
Utrecht Lexicon of Linguistics