Det är dock att märka , att en helmängd