Calibrated submanifold (source code)

= Calibrated submanifold
{title2=$\varphi|_\Sigma=\operatorname{vol}_\Sigma$}

An oriented submanifold is calibrated by a <calibration> when its tangent planes attain the comass bound at every point. Closedness then compares its volume with homologous competitors by <Stokes theorem>.