相对开集(relative open set)子空间的开集.设Y为拓扑空间X的子空间，在相对拓扑下Y的开子集称为相对开集.U∈Y是相对开集的充分必要条件是存在X的开集V，使得U=V∩Y。