Комутативност

от Уикипедия, свободната енциклопедия

Комутативността е свойството на някои бинарни операции да запазват стойността си при размяна местата на двата операнда.

[редактиране] Формална дефиниция

Бинарната операция \circ над множеството S е комутативна ако е изпълнено:

x\circ y = y\circ x за всички x, y \in S

[редактиране] Примери

Комутативни са събирането и умножението на числа, обединението и сечението на множества:

x + y = y + x
x.y = y.x
AB = BA
AB = BA


Некомутативни са например операциите разлика и декартово произведение на множества.

A \ BB \ A
A × BB × A