Calculus of relations