In the formal notation of above a random counting measure is a map from a probability space to the measurable space a measurable space. Here N_X is the space of all boundedly finite integer-valued measures N \in M_X (called counting measures).
