En matemáticas , una variedad n cerrada N incrustada en una variedad ( n + 1) M es paralela al borde ( o ∂-paralela , o periférica ) si hay una isotopía de N en un componente del borde de M.
Consideremos el anillo . Sea π el mapa de proyección
Si un círculo S está incrustado en el anillo de modo que π restringido a S es una biyección , entonces S es paralelo al borde. (Lo inverso no es cierto).
Si, por otra parte, un círculo S está incrustado en el anillo de modo que π restringido a S no es sobreyectivo , entonces S no es paralelo al borde. (Una vez más, lo inverso no es cierto).