semi-ordered space
فضای شبه‌مرتب
ordered vector space
فضای برداری مرتب
فضای برداری حقیقی
real vector space