境界付き多様体
境界付き(可微分)多様体 M において,境界 ∂M は M の部分多様体である.M が向き付け可能であると仮定すると,境界 ∂M も向き付け可能である.