Skip to content

add "crowded" and "dense-in-itself" aliases#1673

Merged
prabau merged 4 commits intomainfrom
StevenClontz/20260312/crowded
Mar 13, 2026
Merged

add "crowded" and "dense-in-itself" aliases#1673
prabau merged 4 commits intomainfrom
StevenClontz/20260312/crowded

Conversation

@StevenClontz
Copy link
Member

Several talks at STDC 2026 have used these terminologies, and I realized we don't have them in our property list.

Could probably use better reference than @prabau's random Math SE post.

@prabau
Copy link
Collaborator

prabau commented Mar 13, 2026

How about adding a paragraph at the end like this:
*Note*: A space that does not satisfy {P139}, i.e., without isolated point, is called "dense-in-itself" or "crowded". See {{wikipedia:Dense-in-itself}} and {{mathse:3823020}}.

and also add that wikipedia article to the refs: list.

@StevenClontz
Copy link
Member Author

Thanks, done more or less as you suggested.

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>
@prabau prabau merged commit 96245d4 into main Mar 13, 2026
1 check passed
@prabau prabau deleted the StevenClontz/20260312/crowded branch March 13, 2026 02:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants