annat att en helmängd