Nuprl Definition : basic-formal-sum
basic-formal-sum(K;S) == bag(|K| × S)
Definitions occuring in Statement :
product: x:A × B[x]
,
rng_car: |r|
,
bag: bag(T)
Definitions occuring in definition :
bag: bag(T)
,
product: x:A × B[x]
,
rng_car: |r|
FDL editor aliases :
basic-formal-sum
Latex:
basic-formal-sum(K;S) == bag(|K| \mtimes{} S)
Date html generated:
2018_05_22-PM-09_44_23
Last ObjectModification:
2017_11_10-PM-05_38_38
Theory : linear!algebra
Home
Index