In many different (serious and good) statistics books I find different definitions of CDF of a discrete RV. The difference is the equal sign at the index of the summation sign. The first is:
$$F(x) = P(X\leq x) = \sum_{x_i\leq x} p_i$$
whereas the second is:
$$F(x) = P(X < x)= \sum_{x_i< x} p_i$$
For most of my life I was convinced that CDF is a function returning the probability that a RV will take a value not greater than x, and therefore I am used to the first definition.
So which one is it?