En teoría de grafos topológica, un embebido de un grafo G {\displaystyle G} en una superficie Σ {\displaystyle \Sigma } es una representación de G {\displaystyle G} sobre Σ, {\displaystyle \Sigma,} en la que sus vértices están asociados con puntos de Σ {\displaystyle \Sigma } y sus lados se asocian con arcos simples de Σ {\displaystyle \Sigma }, de tal forma que: Los extremos del arco asociado a un lado e {\displaystyle e} son los puntos asociados a los vértices extremos de e {\displaystyle e} Ningún arco incluye puntos asociados a otros vértices Dos arcos nunca se cortan en un punto interior a cualquiera de los arcosAquí se entiende por superficie una variedad de orden 2 {\displaystyle 2} compacta y conexa. Wikipedia