https://123dok.net/document/y9627w7w-completion-regularity-mathjax-formula-additivity-measures-product-spaces.html