Definition:Compact Subset of Normed Vector Space