Här läg redan en helmängd