Set of finite perimeter (source code)

= Set of finite perimeter
{title2=$\operatorname{Per}(E;\Omega)=|D\chi_E|(\Omega)$}

= Sets of finite perimeter
{synonym}

A measurable set $E$ has finite perimeter in $\Omega$ when $\chi_E$ belongs to the <BV space>. Its relative perimeter is $\operatorname{Per}(E;\Omega)=|D\chi_E|(\Omega)$. Relative perimeter excludes the exterior <image signal> boundary and <measures> the interior interface in <Caccioppoli partitions>.