Naturligtvis finnes en helmängd