紧拓扑空间E中若存在紧子集E1，使∑中每个元素f在E1达到最小值且在同类集合中E1为最小，则称E1为E的希洛夫边界。