Nuprl Definition : p-union

p-union(A;B) ==  λp.if (A =z 1) then else fi 



Definitions occuring in Statement :  ifthenelse: if then else fi  eq_int: (i =z j) apply: a lambda: λx.A[x] natural_number: $n
Definitions :  lambda: λx.A[x] ifthenelse: if then else fi  eq_int: (i =z j) natural_number: $n apply: a
FDL editor aliases :  p-union
p-union(A;B)  ==    \mlambda{}p.if  (A  p  =\msubz{}  1)  then  1  else  B  p  fi 



Date html generated: 2015_07_17-AM-08_00_15
Last ObjectModification: 2008_02_27-PM-05_49_35

Home Index