アンティキティラ島の機械
アンティキティラ島の機械（アンティキティラとうのきかい、, ）は、アンティキティラ島近海の沈没船から発見された古代ギリシア時代の遺物で、天体運行を計算するため作られた歯車式機械であると推定されている。
交換法則
可換性質の暗黙的な使用は古代にさかのぼる。古代エジプト人は積の計算の簡素化に乗法の可換性を用いているし、エウクレイデスが著書『原論』において乗法の可換性を仮定していたことはよく知られている。明示的なかたちで交換法則が立ち現れるのは、数学者により函数論が築かれ始める18世紀後半から19世紀初頭にかけてである。こんにちでは可換性は数学の大部分の分野でよく知られた基本性質として扱われている。