 //===----------------------------------------------------------------------===//
 // RUN: %target-run-simple-swift
 
-/// A generalized set whose distinct elements may not be disjoint.
+/// A generalized set whose distinct elements are not necessarily
+/// disjoint.
 ///
 /// In a model of `SetAlgebraType`, some elements may subsume other
 /// elements, where

/// `OptionSetType` requirements for which default implementations are
/// supplied when `Element == Self`, which is the default.
///
/// A type conforming to `OptionSetType` can implement any of these
/// initializers or methods, and those implementations will be used in
/// lieu of these defaults.
extension OptionSetType where Element == Self {
  /// Returns `true` if `self` contains `member`.
  ///

/// *subsumes* `b` if and only if `a == b`, but that is not always the
/// case.  For example, option sets typically do not satisfy that
/// property.
///
/// Two elements are **disjoint** when neither one *subsumes* the other.
///
/// - SeeAlso: `OptionSetType`.
///
