Definition For a decomposition of a topological space , the decomposition satisfies the frontier condition if