
M D={(Ui, φi),i∈I}
(M=∪
i∈I
Ui)M {Ui,i∈I}−1
(Ui, φi) Ui∪Uj̸=∅ i,j∈I −2
M D Ck (Uj, φj)
(k≥1) Ck