Let D be a set of all discriminators.

If d1,d2 in D, then
    for all lists of parameters s:=(s1,...,sn), t:=(t1,...,tm)

    d1 s1 ... sn = d2 t1 ... tm,

        if and only if:
			d1 = d2,
            n = m,
            and s[i] = t[i], for all i