In topology, a compact codimension one submanifold F{\displaystyle F} of a manifold M{\displaystyle M} is said to be 2-sided in M{\displaystyle M} when there is an embedding
with h(x,0)=x{\displaystyle h(x,0)=x} for each x∈F{\displaystyle x\in F} and