A note on disjoint-occurrence inequalities for marked Poisson point processes

For (marked) Poisson point processes we give, for increasing events, a new proof of the analog of the BK inequality. In contrast to other proofs, which use weak-convergence arguments, our proof is ‘direct' and requires no extra topological conditions on the events. Apart from some well-known properties of Poisson point processes, the proof is self-contained.