Nuprl Definition : productset
a x b == let A,f = a in let B,g = b in <A × B, λp.let x,y = p in (f x,g y)>
Definitions occuring in Statement :
orderedpairset: (a,b),
apply: f a,
lambda: λx.A[x],
spread: spread def,
pair: <a, b>,
product: x:A × B[x]
Definitions occuring in definition :
apply: f a,
orderedpairset: (a,b),
spread: spread def,
lambda: λx.A[x],
product: x:A × B[x],
pair: <a, b>
FDL editor aliases :
productset
Latex:
a x b == let A,f = a in let B,g = b in <A \mtimes{} B, \mlambda{}p.let x,y = p in (f x,g y)>
Date html generated:
2018_07_29-AM-10_03_54
Last ObjectModification:
2018_07_18-PM-11_40_28
Theory : constructive!set!theory
Home
Index