This notion as to be define.
Intuitively it seems that we can also find a generalization of the theorem. But at the same time it is not so obvious. The way we find is to use a compact set.
