Thus a structure is minimal only if the parametrically definable subsets of its domain can not be avoided .
Subsets are already parametrically definable in the pure language of equality .
Thus a structure is minimal only if the parametrically definable subsets of its domain can not be avoided , because they are already parametrically definable in the pure language of equality .