Similar to リアプノフ関数

Subharmonic function

Retraction (topology)

Coherent sheaf

Cardinality of the continuum