Nuprl Definition : singleton

{a:T} ==  {x:T| x = a ∈ T} 


Definitions occuring in Statement :  set: {x:A| B[x]} ,  equal: s = t ∈ T
Definitions occuring in definition :  set: {x:A| B[x]} ,  equal: s = t ∈ T
FDL editor aliases :  singleton
Latex:
\{a:T\}  ==    \{x:T|  x  =  a\} 


Date html generated: 2016_05_13-PM-03_15_12
Last ObjectModification: 2016_01_04-AM-10_26_33

Theory : core_2


Home Index