The generation of hyperpower sets