小白初学数论有些符号没看懂。求大佬解释。谢谢。

如图红笔画的两个地方第一个当且仅当a恒等b(mod[m1,m2,...,mn])那句话是啥意思。[m1,m2,m3,...,mn]代表集合吗？求详细解释。还有那个(c,m)=d是啥意思，如果大佬可以的话。直接把两句的意思都讲一下吧顺带举个例子。