连续函数的有限性原理

∈[a,b]及>0,令设F=F([a,b])为[a,b]的一切有限子集构成的幂集。∈F定义K(A)={X(r):r∈A}。设二元关系φ(r,x)的定义域为D(φ)=[a,b],值域R(φ)