Closed transversal to a foliation (source code)

= Closed transversal to a foliation

= Closed transversals to a foliation
{synonym}

A closed transversal is a closed curve everywhere transverse to the leaves of a <foliation>. A single such curve meeting every leaf proves that the <foliation> is a <taut foliation>.