Faktum är , att det finnes en helmängd