Till den förra finnes en helmängd