I’m not particularly familiar with CRDTs but it sounds like you’d need to define a semigroup no?