Definition:Relatively Closed/Definition 1