interval_types http://www.openmath.org/cd/interval_types.ocd 2005-04-01 experimental 2002-08-25 0 0 aggregate_cats meta_cats A CD of basic interval type constructors. This CD holds constructors of individual instances of the different types of intervals. intervalType This symbol represents the type of intervals. interval type has set type integerIntervalType This symbol represents the type of integer intervals. integer interval type has rational interval type integer interval type has discrete set type rationalIntervalType This symbol represents the type of rational intervals. rational interval type has algebraic interval type rational interval type has continuous set type algebraicIntervalType This symbol represents the type of algebraic intervals. algebraic interval type has real interval type algebraic interval type has continuous set type realIntervalType This symbol represents the type of real intervals. real interval type has interval type real interval type has continuous set type maybe we should also include some 'complex interval' symbols, could have cartesian varieties, i.e. 'square', as well as polar varieties, i.e. 'round'