同余系统模块具有称为完成残渣系统(或覆盖系统),如果整数 满足对于的至少一个值.一种覆盖系统,其中每个整数由一个同余称为精确覆盖系统。
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“精确覆盖系统。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/ExactCoveringSystem.html