# File multiset.rb, line 422
  def proper_subset?(other)
    self.subset?(other) && self != other
  end