Relative topology

From Topospaces

Perhaps you're looking for: