=== Base Template !LowerUpperOfNumberRange ===

[[br]]!LowerUpperOfNumberRange is a template for stating what the upper and lower bounds of a number range are. 
[[br]]
[[br]]!LowerUpperOfNumberRange(a, b, c) means that a is a number range and b and c are numbers, 
[[br]]and that b is the lower, c the upper bound of a. 
[[br]]
[[br]]Roles: 
[[br]]1 hasRange !NumberRange 
[[br]]2 hasLowerBound !ArithmeticNumber 
[[br]]3 hasUpperBound !ArithmeticNumber 

Axiom: 
{{{
LowerUpperOfNumberRange(x1, x2, x3) <-> 
NumberRange(x1) & 
ArithmeticNumber(x2) & 
ArithmeticNumber(x3) & 
LowerBoundOfNumberRangeTemplate(x2, x1) & 
UpperBoundOfNumberRangeTemplate(x3, x1) . 
}}}

NOTE To represent number ranges which are not bounded, use the reference items Infinity and -Infinity (see 8.2.1).