pm#continuous_function_type class of functions which are continuous; this concept is taken as primitive until representations for limits are devised
supertype: pm#function_type term-forming relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element; note that the range is a set_or_class, and each element of the range is an instance of the set_or_class
equal: sumo#continuous_function (pm)
subtype: pm#time_dependent_quantity_type a unary_constant_function of continuous time; all instances of this class map a time quantity into another constant_quantity such as temperature; for example, 'the temperature at the top of the Empire State Building' is a time_dependent_quantity since its value depends on the time
No statement uses or specializes pm#continuous_function_type; click here to add one.