Classification of incompressible surfaces in Seifert fibered spaces (source code)

= Classification of incompressible surfaces in Seifert fibered spaces

In an orientable irreducible <Seifert fibered space>, an essential two-sided <incompressible surface> that is also a <boundary-incompressible surface> can be isotoped to a <horizontal surface in a Seifert fibered space> or a <vertical surface in a Seifert fibered space>.