In mathematics, specifically in topology and functional analysis, a subspace S of a uniform spaceX is said to be sequentially complete or semi-complete if every Cauchy sequence in S converges to an element in S.
X is called sequentially complete if it is a sequentially complete subset of itself.
Every complete space is sequentially complete but not conversely.
For metrizable spaces, sequential completeness implies completeness. Together with the previous property, this means sequential completeness and completeness are equivalent over metrizable spaces.