递归可枚举fuzzy集合的投影定理

B=叫做上完备的递归布尔代数,若它的域B是自然数集N的一个递归子集,它的运算∨(并),∧(交),(?)(补)为部分递归函数,且在B的元素的自然偏序之下,B的任一子集合X在B中有上确界,记为∨X。