Асацыятыўная аперацыя

З Вікіпедыі, свабоднай энцыклапедыі

Бінарная аперацыя на мностве S называецца асацыятыўнай (спалучальнай), калі выконваецца закон асацыятыўнасці (спалучальны закон):

Тут сімвал абазначае аперацыю.

Заўвага: сімвал аперацыі можа выглядаць па-рознаму, гэта не мае прынцыповага значэння. У выпадку мультыплікатыўных абазначэнняў аперацыю называюць множаннем, а яе сімвал, як правіла, апускаюць:

Варта заўважыць, што змена парадку аперацый не мяняе паслядоўнасці аперандаў.

Спалучальны закон можна таксама выразіць у функцыянальнай форме: