De komma från en helmängd