What is the textbook where the following simple fact can be found:
A measure defined on a semi-algebra S can be extended to a sigma-algebra generated by S.
In the texbooks that I have looked into the theory of measures is done without semi-algebras (for examlple Halmos deals with measures using hereditary sigma-rings). However, it is convenient for my applications to use the above simple fact.