プレミアムコンパクトSUV
なる自動車の広告文句を観測。ついつい
premium compact
というトポロジーの用語はあるか、なかったら作ってやろうか、などと邪念がよぎる。
precompact ならある。https://en.wikipedia.org/wiki/Precompact_set
Mathtodon is a Mastodon instance, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
