En formel have er en have med en tydelig struktur, geometriske former og i de fleste tilfælde en symmetrisk opbygning. Dens oprindelse kan spores tilbage til de haver, der blev anlagt i de tørre områder i Vestasien, hvor de var beskyttet af mure. Den formelle havestil kommer til udtryk i persiske haver i Iran og i klosterhaver fra senmiddelalderen. Traditionen blev videreført i italienske renæssancehaver og kulminerede i de franske formelle haver fra barokken. Gennem sin udformning formidler haven en oplevelse af orden, kontrol og overskuelighed for beskueren.
Inden for havedesign betragtes den formelle have som modsætningen til landskabshaven, der søger at efterligne naturen, og som blev moderne i løbet af 1700-tallet.
