100
правок
Изменения
→Свойства операций
|definition=
'''Идемпотентность''' {{---}} свойство при повторном применении операции давать тот же результат. <br>
'''Примеры''': унарные <tex>\pi</tex> и <tex>\sigma</tex>, бинарные <tex>\bowtie</tex>, <tex>\cup</tex>, <tex>\cap</tex>, <tex>\ltimes</tex>, <tex>\rtimes</tex> и др. значки.
}}
|definition=
'''Коммутативность''' {{---}} свойство переместительностию (<tex>x \circ y = y \circ x</tex>). <br>
'''Пример''': <tex>\bowtie</tex>, <tex>\cup</tex>, <tex>\cap</tex>, <tex>\times</tex>.
}}
|definition=
'''Ассоциативность''' {{---}} свойство <tex>\forall x, y, z: {{(x \circ y)} \circ z} = {x \circ {(y \circ z)}} </tex>. <br>
'''Пример''': <tex>\bowtie</tex>, <tex>\cup</tex>, <tex>\cap</tex>, <tex>\times</tex>.
}}
