No, it can also be defined on infinite subsets. That's why I mentioned Cantor sets, because these are measurable uncountable sets, such that choosing an element from it (given uniform choice from the bounded set on which it is defined) has probability 0 (which is different from our finite intuition, that it is impossible).

It is basically just a generalization of the concept of volume.