Wikipedia:Redirects for discussion/Log/2023 November 12#1700438380
=[[Wikipedia:Redirects for discussion/Log/2023 November 12|November 12]]=
==W.O.T.A.N.==
==Shake spear==
==Weak compactness==
:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.
:The result of the discussion was retarget
- {{no redirect|1 = Weak compactness }} β :Weak topology (talkΒ Β· linksΒ Β· historyΒ Β· stats)
[ Closure: {{#ifeq:{{FULLPAGENAME}}|Wikipedia:Redirects for discussion|(@subpage)|[{{fullurl:Weak compactness|action=edit&summary={{Urlencode:{{FULLPAGENAME}}#Weak compactness closed as keep}}}} keep]/[{{fullurl:Weak compactness|action=edit&summary={{Urlencode:{{FULLPAGENAME}}#Weak compactness closed as retarget}}}} retarget]/[{{fullurl:Weak compactness|action=delete&wpReason={{Urlencode:{{FULLPAGENAME}}#Weak compactness closed as delete}}&wpMovetalk=1}} delete]}} ]
Probably weakly compact is the more appropriate target. 1234qwer1234qwer4 20:51, 29 October 2023 (UTC)
:
{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Please add new comments below this notice. Thanks, βplicit 23:38, 5 November 2023 (UTC)
:
{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Relisting comment: No comments yet...
Please add new comments below this notice. Thanks, βTechnoSquirrel69 (sigh) 22:13, 12 November 2023 (UTC)
- Retarget per nom, but also add an entry to the proposed DAB page for weak topology as also plausible. 35.139.154.158 (talk) 07:21, 13 November 2023 (UTC)
- :"Weakly compact set, a compact set in a space with the weak topology" already has it. 1234qwer1234qwer4 17:20, 15 November 2023 (UTC)
:The above is preserved as an archive of the discussion. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review).