Let π be a Hausdorfftopological space(π,T) and a measure space(π,Ξ£,π) at with Ξ£ least as fine as a Borel algebra, i.e. TβΞ£.
Then π is locally finite iff every π₯βπ has a neighbourhood π such that π(π) is finite. measure