# File warshall.rb, line 61
        def -(menge)
                if menge!=nil then Menge.new(@array - menge.array()) else return Menge.new(@array) end
        end