Nuprl Definition : tag-by
z×T == {tg:Atom| tg = z ∈ Atom} × T
Definitions occuring in Statement :
set: {x:A| B[x]} ,
product: x:A × B[x],
atom: Atom,
equal: s = t ∈ T
Definitions occuring in definition :
product: x:A × B[x],
set: {x:A| B[x]} ,
equal: s = t ∈ T,
atom: Atom
FDL editor aliases :
tag-by
Latex:
z\mtimes{}T == \{tg:Atom| tg = z\} \mtimes{} T
Date html generated:
2016_05_15-PM-06_44_16
Last ObjectModification:
2015_09_23-AM-08_05_32
Theory : general
Home
Index