På sedvanligt vis invaldes en helmängd