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 
Definitions occuring in definition : 
ifthenelse: if b then t else f fi 
, 
fpf-dom: x ∈ dom(f)
, 
fpf-ap: f(x)
FDL editor aliases : 
fpf-cap
Latex:
f(x)?z  ==    if  x  \mmember{}  dom(f)  then  f(x)  else  z  fi 
Date html generated:
2018_05_21-PM-09_17_54
Last ObjectModification:
2018_02_09-AM-10_16_47
Theory : finite!partial!functions
Home
Index