Discriminability of infinite sets of terms in the D-infinity-models of the lambda-calculus