A MM of a EE is closed if it contains the limit of every convergent sequence of points of MM. Equivalently, its complement is open in the subspace topology inherited from EE.

A closed linear subspace of a is again a Banach space. In a , every closed subspace MM has an and every vector decomposes uniquely as x=m+mx=m+m^\perp.