Una variedad n-dimensional M es un conjunto dotado de una colección P de "cartas abstractas" (funciones uno a uno x de D en M, donde D es un conjunto abierto de un espacio euclídeo de n dimensiones, E(n)) tal que