topp befinner sig en helmängd