Covering system

collection of finitely many residue classes whose union contains every integer

카테고리: