バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間のマップ（写像）たちで対応するポイントたちにおいてローカルにディフェオモーフィックであるものたち、ここで、第1のマップ（写像）のコドメイン（余域）は第2のマップ（写像）のドメイン（定義域）のオープンサブセット（開部分集合）である、に対して、コンポジション（合成）はポイントにおいてローカルにディフェオモーフィックであることの記述/証明
話題
About: バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）
