:: deftheorem defines -chain-space POLYFORM:def 14 :
for p being polyhedron
for k being Integer holds k -chain-space p = bspace (k -polytopes p);