LOCAL
    spc_id : elementary_space_enumerators;
  END_LOCAL;
  IF  (sc = sc_equal) OR  NOT ('ELEMENTARY_SPACE' IN stripped_typeof(spc)) THEN
    RETURN  (FALSE);
  END_IF;
  spc_id := spc\elementary_space.space_id;
  IF  sc = sc_subspace THEN
    RETURN  (bool(spc_id = es_generics));
  END_IF;
  IF sc = sc_member THEN
    RETURN  (bool((spc_id = es_generics) OR (spc_id = es_maths_spaces)));
  END_IF;
  -- Should be unreachable.
  RETURN (?);