Abstract. Let P be a hereditary property of words, i.e., an infinite class of finite words such that every subword (block) of a word belonging to P is also in P. Extending the classical Morse-Hedlund theorem, we show that either P contains at least n + 1 words of length n for every n or, for some N , it contains at most N words of length n for every n. More importantly, we prove the following quantitative extension of this result: if P has m ≤ n words of length n then, for every k ≥ n + m, it contains at most (m + 1)/2 (m + 1)/2 words of length k.Mathematics Subject Classification. 05C.