Em matemática, a subvariedade de uma variedade M é um subconjunto S que possui ele próprio a estrutura de uma variedade, e para o qual a função inclusão S → M satisfaz certas propriedades. Existem diferentes tipos de subvariedades que dependendo de quais propriedades são exatamente exigidas. Diferentes autores frequentemente tem diferentes definições.