ACI
Associative
,
Commutative
,
Idempotent
CRDT
は、マージ関数のACI特性に依拠している