下限型境界