Relative topology

Perhaps you're looking for:


 * Subspace topology: The topology endowed to a subspace from that on the whole space
 * Quotient topology: The topology endowed to a quotient from that on the whole space