Фраза Страуструпа "Вот пример законченного определения типа intset, представляющего понятие "множество целых" означает, что он приводит пример в информатике, где данная модель имеет свою реализацию (определение) в виде конкретного класса intset. Нужны ещё АИ на то, что понятие в информатике Класс  это реализация математического понятия Множество?