halving

1. The process or instance of dividing in half.

   There are several recursion theorems for large sets, such that a single new halving results in several new infinite families of halvings.

правильне