Definition:Relatively Closed