等式系

ウィキペディア小見出し辞書

等式系

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:46 UTC 版)

「普遍代数学」の記事における「等式系」の解説

演算を特定したあとは、その代数の内在的な性質というのは公理系によってさらに限局されることになるが、普遍代数学ではこういった公理系として等式（等式律、等式法則）によって与えるのが普通である。例えば、二項演算に対する結合性公理は等式 x * (y * z) = (x * y) * z によって定められる。この公理は集合 A の任意の元 x, y, z に対して満たされることが意図されている。