Nuprl Definition : fun-sep

fun-sep(ss;A;f;g) ==  ∃a:A. f a # g a


Definitions occuring in Statement :  ss-sep: x # y,  exists: ∃x:A. B[x],  apply: f a
Definitions occuring in definition :  apply: f a,  ss-sep: x # y,  exists: ∃x:A. B[x]
FDL editor aliases :  fun-sep
Latex:
fun-sep(ss;A;f;g)  ==    \mexists{}a:A.  f  a  \#  g  a


Date html generated: 2016_11_08-AM-09_11_46
Last ObjectModification: 2016_11_02-AM-10_21_34

Theory : inner!product!spaces


Home Index