Cellular boundary (source code)

= Cellular boundary
{title2=$\operatorname{im}d_{n+1}$}

A <cellular chain> that is the boundary of a chain one dimension higher. The chain-complex identity $d_nd_{n+1}=0$ makes every cellular boundary a <cellular cycle>; their quotient is <cellular homology>.