varit så stor , att en helmängd