Subdivision surfaces are piecewise parametric surfaces defined over meshes of arbitrary topology.
It’s an algorithm that maps from a surface to another more refined surface, where the surface is described as a set of points and a set of polygons with vertices at those points. The resulting surface will always consist of a mesh of quadrilaterals.