Sum Rule

Scalar Multiplication Rule

Difference Rule

Union of Intervals

Comparison Rule

if for all in the interval