【xià què jiè】

  1. (math.) infimum; greatest lower bound