【目的】研究非光滑半无限优化问题在极限次微分下的最优性必要条件。【方法】通过约束品性和择一定理，研究带有抽象集约束的非光滑半无限优化问题的Kuhn-Tucker型必要条件。【结果】首先，举例说明已有文献中关于非光滑半无限优化问题的必要性条件的错误，并给出合理的修正。随后，针对半无限优化问题，给出一类约束品性。并通过择一定理得到了带有抽象集约束的非光滑半无限优化问题的Kuhn-Tucker型必要条件。【结论】所得结果丰富了半无限优化理论。