We will define the topology on <math>DM(k,m;(A_j))</math> (and its variants) like so:
 
We will define the topology on <math>DM(k,m;(A_j))</math> (and its variants) like so:
 
* Fix a representative <math>\hat\mu</math> of an element <math>\sigma \in DM(k,m;(A_j))</math>.
 
* Fix a representative <math>\hat\mu</math> of an element <math>\sigma \in DM(k,m;(A_j))</math>.