# Definition of CAT(0) metric space

I have a question regarding the definition of CAT(0) spaces. I am using the following definition:

$X$ complete metric space is CAT(0) if $\forall z,y \in X$, $\exists m \in X$ such that $\forall x \in X$,

$$d(x,m)^2\leq \cfrac{d(x,y)^2 + d(x,z)^2 }2 – \cfrac{d(y,z)^2}4$$

What is the geometric meaning of this inequality? I guess there is one but I can’t find it.

I added an (imagined) point $W$ on the continuation of geodesic $XM$ to emphasize that the condition is a form of the Parallelogram Law. Indeed, multiplying both sides by $4$ an moving $d(y,z)^2$ to the left, you will see the parallelogram law with inequality sign.
What is the meaning of inequality replacing equality? It allows the curvature to be negative, not necessarily zero. (With equality we’d have a flat CAT(0) space.) Negative curvature means geodesic triangles are thin, and therefore the midpoint $m$ can be closer to $x$ than it would be in a flat space: