Nuprl Definition : emptyset
{} == {⋅ | x ∈ Void}
Definitions occuring in Statement :
mkset: {f[t] | t ∈ T},
it: ⋅,
void: Void
Definitions occuring in definition :
it: ⋅,
void: Void,
mkset: {f[t] | t ∈ T}
FDL editor aliases :
emptyset
Latex:
\{\} == \{\mcdot{} | x \mmember{} Void\}
Date html generated:
2018_05_29-PM-01_47_52
Last ObjectModification:
2018_05_24-PM-10_00_41
Theory : constructive!set!theory
Home
Index