Formalised by Gilbert and Lynch. It says nothing about latency or about the time when there is no partition; see PACELC and linearizability.
CAP theorem
During a network partition a system must give up either linearizability or availability for the operations it cannot complete.