:: deftheorem defines -bounding-circuit-space POLYFORM:def 23 :
for p being polyhedron
for k being Integer holds k -bounding-circuit-space p = (k -bounding-chain-space p) /\ (k -circuit-space p);