根据这门入门课程，什么是模运算？

在这个片段中，模数是整数系统回绕并重新开始的那个特定值。它充当循环算术的边界。

适用条件：在模运算中使用。；此片段未介绍模数的确切正式记法。

因为将模数 12 加到 -2 上得到 10 ($-2 + 12 = 10$)。这意味着 -2 和 10 表示模 12 的同一个剩余类。

适用条件：在模 12 下工作。；允许负代表。

要验证 $a \equiv b \pmod{n}$，请使用长除法将 $a$ 除以模数 $n$，并检查余数是否为 $b$。如果余数与 $b$ 匹配，则同余成立。

适用条件：该方法针对正被除数和正模数进行了演示。；演讲者称之为通俗的解释。

不，使用像 10、7 和 13 这样的特定数字的数值演示仅仅是一个说明性的例子，而不是适用于所有整数的严格正式证明。

适用条件：演示使用了特定的数值。；正式证明需要将性质推广到所有整数。

自反性通过展示任何数字都与自身相关来演示，具体来说，10 mod 3 等于 10 mod 3。

适用条件：该关系定义为模 3 的余数相等。；该性质要求每个元素都与自身相关。