=是等价关系。关系~如果具有这三个性质可以称为等价关系：a~a;a~b⇔b~a;a~b,b~c⇒a~c.等价关系的一个作用是导出等价类，不过你可能更关心另一个作用：现在有一个作用f，在f下a变成f(a),b变为f(b)这样，那么通过作用f和等价关系~可以诱导出一个关于f(a)和f(b)的等价关系~ᶠ,即a~b⇒f(a)~ᶠf(b)（替换公理，好像是这个名字），这个时候，我们更多地将~,~ᶠ写成=

等号这个概念通常在代数上使用

相等，完全一样。

等号，就是前面是一条直线，后面是这条直线上的任意一个点。