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,

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