Fundamental result in measure theory that expresses the relationship between two measures defined on the same measurable space