摘要
定义了代换运算，证明了任何不相交覆盖系均可由基本不相交覆盖系经有限次代换而得，进而由归纳法证明了不相交覆盖中的三条性质．
The operation of replacement is defined. We prove that every disjoint covering system can be formed by replacement of elementary disjoint covering system, and further the following identies are also proved through the way of induction.
出处
《哈尔滨理工大学学报》
CAS
2000年第6期13-15,共3页
Journal of Harbin University of Science and Technology
