Привожу два отрывка из того же учебника ("Котеров PHP7"):
Немного о том, как сохранять данные в сессии. Для этого существует глобальный массив
$_SESSION
, который PHP обрабатывает особым образом. При завершении сценария PHP автоматически сохраняет массив $_SESSION во временном хранилище, имя которого хранится в SID.
Далее описание функции удаления хранилища сессии session_destroy():