Employing a closed set-theoretic foundation for interval computations, this work simplifies algorithm construction and increases generality of interval arithmetic. It also contains discussions of interval methods for solving systems of nonlinear equations and global optimization problems.