LOCAL typenames : SET OF  STRING := TYPEOF ( space ) ; factors : LIST OF maths_space ; END_LOCAL ; IF  NOT  EXISTS ( space ) THEN  RETURN  ( FALSE  ) ; END_IF  ; IF  subspace_of_es ( space , es_reals ) OR subspace_of_es ( space , es_complex_numbers ) THEN  RETURN  ( TRUE  ) ; END_IF  ; IF  ( schema_prefix + 'uniform_product_space' ) IN  typenames THEN  RETURN  ( space_is_continuum ( space \ uniform_product_space . base ) ) ; END_IF  ; IF  ( schema_prefix + 'listed_product_space' ) IN typenames THEN  factors := space \ listed_product_space . factors ; IF  SIZEOF  ( factors ) = 0 THEN  RETURN  ( FALSE  ) ; END_IF  ; REPEAT i := 1 TO SIZEOF ( factors ) ; IF NOT space_is_continuum ( factors [ i ] ) THEN RETURN  ( FALSE  ) ; END_IF  ; END_REPEAT ; RETURN  ( TRUE ) ; END_IF ; RETURN ( FALSE ) ;