Definition talk:Compact Space/Topology/Subspace

Does anyone agree that this should instead be called "compact set", as definition 2 makes no reference to the subspace topology? --abcxyz (talk) 19:04, 27 November 2012 (UTC)


 * We already have a redirect from Definition:Compact Set (Topology). I disagree with a rename because it's only definition 2 that makes no reference to the subspace topology. --prime mover (talk) 19:47, 27 November 2012 (UTC)