The theory of measure and integral