Då det nu finnes en helmängd