User:NikelsenH/Marked point process

Definition
Let $$ (S, \mathcal S) $$ and $$ (T, \mathcal T) $$ be Borel spaces. A marked point process on $$ S $$ is a simple point process $$ \xi $$ on the product space $$ S \times T $$ that satifies
 * $$ \xi(\{s\} \times T) \leq 1 $$

for all $$ s \in S $$.