A thorough explanation of its semantics would be good. A set for which union is defined as the empty set is also a CRDT, but a pretty useless one. And the explanation sounds a bit like, it converges by loosing data consistently.