Talk:Distinguished element

Target
I wonder whether this should simply redirect to Pointed set? Tautological tau (talk) 09:01, 22 May 2013 (UTC)