Whitneys embeddingsteorem sier at ethvert mangfold av dimensjon kan embeddes i som en lukket delmengde av .