jpdb beta

① 2つの位相空間上に定義される、始域の任意の点で連続である写像。

inverse mapping

① 始域と終域が同一で、入力をそのまま出力として返す写像。ある集合 X の任意の要素 x ∈ X に対して、 x ∈ X を返す写像 f: X → X。