Dense ordered set

From HandWiki

None