Nuprl Definition : sub-bags
sub-bags(eq;bs) == bag-map(λp.(fst(p));bag-partitions(eq;bs))
Definitions occuring in Statement :
bag-partitions: bag-partitions(eq;bs),
bag-map: bag-map(f;bs),
pi1: fst(t),
lambda: λx.A[x]
Definitions occuring in definition :
bag-map: bag-map(f;bs),
lambda: λx.A[x],
pi1: fst(t),
bag-partitions: bag-partitions(eq;bs)
FDL editor aliases :
sub-bags
Latex:
sub-bags(eq;bs) == bag-map(\mlambda{}p.(fst(p));bag-partitions(eq;bs))
Date html generated:
2016_05_15-PM-08_09_42
Last ObjectModification:
2015_09_23-AM-08_21_00
Theory : bags_2
Home
Index