Created the ConcreteSets library.