Theory of an interval algebra and its application to numerical analysis