Covering system

collection of finitely many residue classes whose union contains every integer

الفئات: