bāo

  1. closure (math.)