概形（scheme）是代数几何学中的一个基本概念。概形是由亚历山大在他1960年的论文《代数几何基础》中提出的，其中一个目的是为了解决代数几何中的一些问题，例如 。建立在交换代数的基础之上，概形理论允许使用拓扑学、同调代数中有系统的方法。概形理论也将许多代数几何和数论的问题统一，这也使得怀尔斯得以证明费马最后定理。
定义.给定一个局部戴环空间formula_1，formula_2的一个开集formula_3称爲"仿射开集"，如果formula_4是仿射概形。一个局部戴环空间fo