LOCAL
    temp : maths_space;
  END_LOCAL;
  IF  NOT EXISTS (func) THEN   RETURN  (FALSE);  END_IF;
  IF  space_dimension (func.domain) <> 1 THEN   RETURN  (FALSE);  END_IF;
  temp := factor1 (func.domain);
  IF  (schema_prefix + 'PRODUCT_SPACE') IN  TYPEOF  (temp) THEN
    IF  space_dimension (temp) <> 1 THEN  RETURN  (FALSE);  END_IF;
    temp := factor1 (temp);
  END_IF;
  IF (schema_prefix + 'FINITE_INTEGER_INTERVAL') IN TYPEOF (temp) THEN
    RETURN  (TRUE);
  END_IF;
  RETURN (FALSE);