「埋蔵」

埋め込み（うめこみ、英: embedding、英: imbedding）とは、数学において、ある数学的構造を別の構造の内部にその本質的な性質を保ったまま実現する写像をいう。多くの場合、それは単なる単射ではなく、像の上に入れた自然な構造に関して元の対象と同じ構造を再現する写像である。したがって埋め込みは、対象をより大きな空間や構造の部分対象として扱うための基本概念であり、位相空間論、微分トポロジー、リーマン幾何学、代数学、順序理論、距離空間論、圏論など広い分野で用いられる。
数学ではしばしば、対象 X が対象 Y に埋め込まれるとき、



X
↪
Y


{\displaystyle X\hookrightarrow Y}

のような鉤付き矢印で表す。これは X を Y の部分対象とみなしてよいことを示唆する記法である。ただし、何をもって「構造を保つ」とみなすかは分野により異なる。

出典：Wikipedia日本語版