The first claim is a direct corollary to R978: Measure of set difference since the finiteness constraint is automatically satisfied with a probability measure. $\square$