Template:Generating set fact