https://123dok.net/document/y6evrj7z-the-lebesgue-decomposition-of-measures-on-orthomodular-posets.html