code: public boolean properSupersetOf(org.odmg.DSet otherSet)
      {
          return (otherSet.size() > 0 && otherSet.size() < this.size() && this.supersetOf(otherSet));
      }
docs: Determine whether this set is a proper superset of the set referenced by
  <code>otherSet</code>.
  @param	otherSet	Another set.
  @return True if this set is a proper superset of the set referenced by
  <code>otherSet</code>, otherwise false.