Similar to クレイン＝ミルマンの定理

Subharmonic function

Retraction (topology)

Coherent sheaf

Cardinality of the continuum