^^Operazione binaria e relazione di equivalenza, compatibili.

relazione di equivalenza compatibile con un'operazione binaria

elementi equivalenti danno risultati equivalenti

x~x' y~y'  ⇒  x+y ~ x'+y'

{x}+{y} ⊆ {x+y}   detto con l'operazione binaria indotta tra i sottoinsiemi.

Dirlo

x~x' y~y'   x+y=z   x'+y'=z'   ⇒   z~z'

Dirlo a-simmetrica

asimmetrica

• relazione di equivalenza compatibile con un'operazione binaria

viceversa

• opbin compatibile con una relazione di equivalenza

simmetrica

• opbin e relequi compatibili tra loro

Links

1. esOf: Compatibilita' di strutture, organizzazioni integrate.
2. Relazione di equivalenza.