Some definitions of the library set