In de meetkunde is een hyperoppervlak een veralgemening van het concept van het hypervlak. Stel een omringend variëteit heeft dimensies, dan een deelvariëteit van van dimensies in een hyperoppervlak. Op equivalente wijze is de codimensie van een hyperoppervlak van een.
In de algebraïsche meetkunde is een hyperoppervlak in de projectieve ruimte van dimensie een algebraïsche verzameling, die puur van dimension is. De hyperoppervlak wordt dan gedefinieerd door een enkele vergelijking , een homogene veelterm in de homogene coördinaten. Het hyperoppervlak kan singulariteiten bevatten, waardoor het in strikte zin geen deelvariëteit is.