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 ) ;