用法是自同构群。
对称关系.若某一种二元关系，使得每次只要若 a 关系到 b， b 也关系到 a，则此关系称为对称关系。例如等于和同余就是一种对称关系，以非数学的例子而言，「和……结婚」也是一种对称关系。这种对称不完全是反对称关系的反义。有些关系可能同时是对称关系及反对称关系（像等于关系），也有些关系既不是对称关系也不是反对称关系。
对称函数.在中，函数的输出值不随输入变数的排列而改变。从函数的形式中可以看出若输入变数排列后，方程式不会改变。例如