алгоритм послідовного породження всіх елементів деякої скінченої множини з метою знаходження її елементів, які задовольняють необхідним ключовим властивостям.