finitary closure operator

  1. REDIRECT closure operator