La nozione di ipersuperficie generalizza quella di iperpiano e di superficie. Si chiama ipersuperficie una qualunque varietà differenziabile o varietà algebrica di dimensione immersa in uno spazio (generalmente euclideo o affine o proiettivo) di dimensione .
Definizione alternativa (in realtà è un caso particolare della definizione data sopra):
Data una funzione differenziabile tale che per ogni se allora (cioè è un valore regolare), l'insieme di punti:
definisce una ipersuperficie in .