Created the ConcretePartialSets library.