Cerrar sesiones en PHP

Cuando trabjamos con sesiones en PHP y un usuario decide desconectarse (logout) de la sesión iniciada, es imprescindible realizar un cierre de sesión y una limpieza de las variables creadas durante su estancia en la web.
Esta microfunción nos ayuda a realizar estos pasos de una forma simple y automática.

function CerrarSesion() {
   if (strlen(session_id()) >0) {
       session_unset();
       session_destroy();
   }
}