Oh duh... You were pointing out a typo in my comment.
I'm leaving my original reply below because what the hell.
~~~~
Yes, exactly.
Think of it this way: you don't actually have any control over partitioning, therefore partitions are a given. So CAP is expressed as such: given a partition, choose between consistency and availability.
EDIT: I personally find PACELC [0] less confusing, and more nuanced than CAP, but they basically say the same thing.
I'm leaving my original reply below because what the hell.
~~~~
Yes, exactly.
Think of it this way: you don't actually have any control over partitioning, therefore partitions are a given. So CAP is expressed as such: given a partition, choose between consistency and availability.
EDIT: I personally find PACELC [0] less confusing, and more nuanced than CAP, but they basically say the same thing.
[0] https://en.wikipedia.org/wiki/PACELC_theorem