Nuprl Definition : tagged

tagged(x.T[x]) ==  x:Atom × T[x]


Definitions occuring in Statement :  product: x:A × B[x],  atom: Atom
Definitions occuring in definition :  product: x:A × B[x],  atom: Atom
FDL editor aliases :  tagged
Latex:
tagged(x.T[x])  ==    x:Atom  \mtimes{}  T[x]


Date html generated: 2016_05_15-PM-06_45_22
Last ObjectModification: 2015_09_23-AM-08_05_43

Theory : general


Home Index