complete space

[ریاضیات] فضای کامل