complete vector space

[ریاضیات] فضای یکنواخت کامل