Nuprl Definition : fpf-dom

x ∈ dom(f) ==  x ∈b fst(f)


Definitions occuring in Statement :  deq-member: x ∈b L,  pi1: fst(t)
Definitions occuring in definition :  deq-member: x ∈b L,  pi1: fst(t)
FDL editor aliases :  fpf-dom
Latex:
x  \mmember{}  dom(f)  ==    x  \mmember{}\msubb{}  fst(f)


Date html generated: 2018_05_21-PM-09_17_10
Last ObjectModification: 2018_02_09-AM-10_16_25

Theory : finite!partial!functions


Home Index