Memory consistency models in distributed systems have been defined separately until now. This work introduces four key properties that, when combined, form the basis for all previously described consistency models. By identifying these properties, the researchers have created a unified theory of shared memory consistency, simplifying the understanding and comparison of different consistency models.