Some Identities of Disjoint Covering System
Hu Yong · Harbin Ligong Daxue xuebao · 2000
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.