توپولوژی زیرفضایی

در توپولوژی، زیرفضای یک فضای توپولوژیکی چون $X$، زیرمجموعه ای چون $S$ از $X$ است که مجهز به توپولوژی القایی از $X$ به نام توپولوژی زیرفضایی (یا توپولوژی نسبی، یا توپولوژی القایی یا توپولوژی اثر) می‌باشد.