Cobordismo

Una relación entre variedades cerradas de dimensión n: dos variedades cerradas M y N de dimensión n son cobordantes si existe una variedad compacta de dimensión n+1, W, cuyo borde es la unión disjunta ∂W ≅ M ⨿ N (teniendo en cuenta orientaciones en la categoría orientada).