xià què jiè

  1. (math.) infimum; greatest lower bound