Closed manifold (source code)

= Closed manifold
{wiki}

A closed manifold is a compact <manifold with boundary> whose boundary is empty. Here “closed” includes compactness.