See https://math.stackexchange.com/questions/4095399/complete-probability-spaces
京公网安备 11010502049817号