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.