Comparison property calculus