:: deftheorem defines -bounding-chain-space POLYFORM:def 21 :
for p being polyhedron
for k being Integer holds k -bounding-chain-space p = im ((k + 1) -boundary p);