infinite combinatorial structure used to create "large" structures from a "small" number of "small" approximations