constructive functional analysis
آنالیز تابعی ساختی
polish space
فضای لهستانی
Banach-Mazur theorem
قضیه باناخ-مازور
فضای جدایی‌پذیر
separable space
topological space
فضای توپولوژیک
فضایی توپولوژیک که زیر مجموعه شمارایی دارد که چگال است.
فضای تفکیک‌پذیر