Definition:Relatively Compact