For any set S of categories, let us take Min(S) (minimal S) to be the smallest subset K of S such that for any γ ∈ S, some β ∈ K reflexively dominates γ.- Chomsky (1995), a pag.178