Domain calculus