Для подмножества справочник назови множество, с которым оно связано отношением «является разновидностью».
Множество "справочник" является разновидностью множества "книга" ("книги").