- #1
mnb96
- 715
- 5
Hello,
given a monoid (M,+)
I define an equivalence relation R on (M,+)
My question is: what does it mean formally that "the operation + is compatible with the equivalence relation R" ?
given a monoid (M,+)
I define an equivalence relation R on (M,+)
My question is: what does it mean formally that "the operation + is compatible with the equivalence relation R" ?