در سوال ۱.۵۰ به الگوریتم ۱.۵.۵ ارجاع داده شده است که به صورت زیر است:الگوریتم closure را با رابطهی زیر اجرا میکنیم: