В чем суть теоремы CAP в контексте распределённых систем?

CAP утверждает, что в случае сетевого разделения (Partition tolerance) распределенная система не может одновременно полностью обеспечить Consistency (единая согласованность данных на всех узлах в любой момент) и Availability (доступность – каждый запрос получает ответ). При возникновении сетевого разрыва приходится сделать компромисс: либо жертвовать мгновенной консистентностью данных между узлами ради продолжения работы (выбирая AP – доступность и устойчивость к разделению), либо приостанавливать часть операций для строгой согласованности (выбирая CP). Таким образом, из трех свойств (Консистентность, Доступность, Устойчивость к разделению) в реальной распределенной системе одновременно можно гарантировать только два.