frontier condition

Definition

For a decomposition of a topological space $X$,

$$X=\bigcup _{i\in I}{X}_i$$

the decomposition satisfies the frontier condition if

$$X_i\cap \overline{X_j}\ne \varnothing ⟹X_i\subset \overline{X_j}.$$