metrization theorem
قضیه متری‌سازی
locally convex space
فضای موضعا محدب
general topology
توپولوژی عمومی
convex local base
پایه موضعی محدب
basis
پایه
فضای برداری توپولوژیک موضعا محدب
locally convex topological vector space
local basis
پایه موضعی