סט של משוואות מודולריות