The notion of cs-stratification of a topological space is apparently due to Siebenmann, see also the paper by N. Habegger and L. Saper in the paper "Intersection cohomology of cs-spaces and Zeeman's filtration", Invent.Math. (1991).

First I remind its definition and then formulate my question.

Definition. Let $X$ be a topological space. A filtration $\mathcal{X}$ of $X$ by closed subsets $$X=X_n \supset X_{n-1}\supset\dots \supset X_0\supset X_{-1}=\emptyset$$ is called cs-stratification of dimension $n$ if it satisfies the following properties:

(i) The stratum $S_{n-k}:=X_{n-k}\backslash X_{n-k-1}$ is either empty of $(n-k)$-dimensional topological manifold.

(ii) $S_n=X_n\backslash X_{n-1}$ is non-empty.

(iii) (Local Normal Triviality) For any $x\in S_{n-k}$ there exists a neighborhood $U$ of $x$ in $X$ and a homeomorphism \begin{eqnarray}\label{E:1} U=B\times c(L),\,\,\, (\ast) \end{eqnarray} where $B$ is an open $(n-k)$-dimensional ball, and $c(L)$ is the open cone \begin{eqnarray*} c(L)=L\times [0,1)/(x,0)\sim(x',0),\\ (c(\emptyset)\mbox{ is a point}) \end{eqnarray*} on a compact topological space $L$ (called the link). $L$ is assumed to have a filtration $\mathcal{L}$ $$L=L_{k-1}\supset L_{k-2}\supset \dots\supset L_0\supset L_{-1}=\emptyset$$ for which the homeomorphism ($\ast$) satisfies $$U\cap X_{n-j}=B\times c(L_{k-j-1}).$$

As far as I understand it follows automatically that any subset $L_k\subset L$ is closed. But my question is as follows.

Question. It is not explicitly mentioned in the definition that the filtration $\mathcal{L}$ of $L$ is a cs-stratification (by induction on the dimension). Was this assumption omitted by purpose or it should be added? Does it follow automatically from the other assumptions?

The notion of cs-stratification of a topological space is apparently due to Siebenmann, see also the paper by N. Habegger and L. Saper in the paper "Intersection cohomology of cs-spaces and Zeeman's filtration", Invent.Math. (1991).

First I remind its definition and then formulate my question.

Definition. Let $X$ be a topological space. A filtration $\mathcal{X}$ of $X$ by closed subsets $$X=X_n \supset X_{n-1}\supset\dots \supset X_0\supset X_{-1}=\emptyset$$ is called cs-stratification of dimension $n$ if it satisfies the following properties:

(i) The stratum $S_{n-k}:=X_{n-k}\backslash X_{n-k-1}$ is either empty or a $(n-k)$-dimensional topological manifold.

(ii) $S_n=X_n\backslash X_{n-1}$ is non-empty.

(iii) (Local Normal Triviality) For any $x\in S_{n-k}$ there exists a neighborhood $U$ of $x$ in $X$ and a homeomorphism \begin{eqnarray}\label{E:1} U=B\times c(L),\,\,\, (\ast) \end{eqnarray} where $B$ is an open $(n-k)$-dimensional ball, and $c(L)$ is the open cone \begin{eqnarray*} c(L)=L\times [0,1)/(x,0)\sim(x',0),\\ (c(\emptyset)\mbox{ is a point}) \end{eqnarray*} on a compact topological space $L$ (called the link). $L$ is assumed to have a filtration $\mathcal{L}$ $$L=L_{k-1}\supset L_{k-2}\supset \dots\supset L_0\supset L_{-1}=\emptyset$$ for which the homeomorphism ($\ast$) satisfies $$U\cap X_{n-j}=B\times c(L_{k-j-1}).$$

As far as I understand it follows automatically that any subset $L_k\subset L$ is closed. But my question is as follows.

Question. It is not explicitly mentioned in the definition that the filtration $\mathcal{L}$ of $L$ is a cs-stratification (by induction on the dimension). Was this assumption omitted by purpose or it should be added? Does it follow automatically from the other assumptions?

The notion of cs-stratification of a topological space was apparently introduced by N. Habegger and L. Saper in the paper "Intersection cohomology of cs-spaces and Zeeman's filtration", Invent.Math. (1991).

First I remind its definition and then formulate my question.

Definition. Let $X$ be a topological space. A filtration $\mathcal{X}$ of $X$ by closed subsets $$X=X_n \supset X_{n-1}\supset\dots \supset X_0\supset X_{-1}=\emptyset$$ is called cs-stratification of dimension $n$ if it satisfies the following properties:

(i) The stratum $S_{n-k}:=X_{n-k}\backslash X_{n-k-1}$ is either empty of $(n-k)$-dimensional topological manifold.

(ii) $S_n=X_n\backslash X_{n-1}$ is non-empty.

(iii) (Local Normal Triviality) For any $x\in S_{n-k}$ there exists a neighborhood $U$ of $x$ in $X$ and a homeomorphism \begin{eqnarray}\label{E:1} U=B\times c(L),\,\,\, (\ast) \end{eqnarray} where $B$ is an open $(n-k)$-dimensional ball, and $c(L)$ is the open cone \begin{eqnarray*} c(L)=L\times [0,1)/(x,0)\sim(x',0),\\ (c(\emptyset)\mbox{ is a point}) \end{eqnarray*} on a compact topological space $L$ (called the link). $L$ is assumed to have a filtration $\mathcal{L}$ $$L=L_{k-1}\supset L_{k-2}\supset \dots\supset L_0\supset L_{-1}=\emptyset$$ for which the homeomorphism ($\ast$) satisfies $$U\cap X_{n-j}=B\times c(L_{k-j-1}).$$

As far as I understand it follows automatically that any subset $L_k\subset L$ is closed. But my question is as follows.

Question. It is not explicitly mentioned in the definition that the filtration $\mathcal{L}$ of $L$ is a cs-stratification (by induction on the dimension). Was this assumption omitted by purpose or it should be added? Does it follow automatically from the other assumptions?

The notion of cs-stratification of a topological space is apparently due to Siebenmann, see also the paper by N. Habegger and L. Saper in the paper "Intersection cohomology of cs-spaces and Zeeman's filtration", Invent.Math. (1991).

First I remind its definition and then formulate my question.

Definition. Let $X$ be a topological space. A filtration $\mathcal{X}$ of $X$ by closed subsets $$X=X_n \supset X_{n-1}\supset\dots \supset X_0\supset X_{-1}=\emptyset$$ is called cs-stratification of dimension $n$ if it satisfies the following properties:

(i) The stratum $S_{n-k}:=X_{n-k}\backslash X_{n-k-1}$ is either empty of $(n-k)$-dimensional topological manifold.

(ii) $S_n=X_n\backslash X_{n-1}$ is non-empty.

(iii) (Local Normal Triviality) For any $x\in S_{n-k}$ there exists a neighborhood $U$ of $x$ in $X$ and a homeomorphism \begin{eqnarray}\label{E:1} U=B\times c(L),\,\,\, (\ast) \end{eqnarray} where $B$ is an open $(n-k)$-dimensional ball, and $c(L)$ is the open cone \begin{eqnarray*} c(L)=L\times [0,1)/(x,0)\sim(x',0),\\ (c(\emptyset)\mbox{ is a point}) \end{eqnarray*} on a compact topological space $L$ (called the link). $L$ is assumed to have a filtration $\mathcal{L}$ $$L=L_{k-1}\supset L_{k-2}\supset \dots\supset L_0\supset L_{-1}=\emptyset$$ for which the homeomorphism ($\ast$) satisfies $$U\cap X_{n-j}=B\times c(L_{k-j-1}).$$

As far as I understand it follows automatically that any subset $L_k\subset L$ is closed. But my question is as follows.

Question. It is not explicitly mentioned in the definition that the filtration $\mathcal{L}$ of $L$ is a cs-stratification (by induction on the dimension). Was this assumption omitted by purpose or it should be added? Does it follow automatically from the other assumptions?