Nuprl Definition : fpf-cap

f(x)?z ==  if x ∈ dom(f) then f(x) else z fi 


Definitions occuring in Statement :  fpf-ap: f(x),  fpf-dom: x ∈ dom(f),  ifthenelse: if b then t else f fi 
FDL editor aliases :  fpf-cap
Latex:
f(x)?z  ==    if  x  \mmember{}  dom(f)  then  f(x)  else  z  fi 


Date html generated: 2016_05_16-AM-11_04_47
Last ObjectModification: 2012_02_25-AM-11_06_14

Theory : event-ordering


Home Index