Nuprl Definition : mkset
{f[t] | t ∈ T} == <T, λt.f[t]>
Definitions occuring in Statement :
lambda: λx.A[x],
pair: <a, b>
Definitions occuring in definition :
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
mkset
Latex:
\{f[t] | t \mmember{} T\} == <T, \mlambda{}t.f[t]>
Date html generated:
2018_05_22-PM-09_47_39
Last ObjectModification:
2018_05_16-PM-01_31_09
Theory : constructive!set!theory
Home
Index