Irreducible disjoint covering systems