Density increment
= Density increment
A density increment replaces a set by its intersection with a structured subset, translated back to a smaller ambient group, on which its relative density is larger. Iterating increments must stop before the density exceeds one.