Nuprl Definition : bag
bag(T) == as,bs:T List//permutation(T;as;bs)
Definitions occuring in Statement :
permutation: permutation(T;L1;L2),
list: T List,
quotient: x,y:A//B[x; y]
Definitions occuring in definition :
quotient: x,y:A//B[x; y],
list: T List,
permutation: permutation(T;L1;L2)
FDL editor aliases :
bag
Latex:
bag(T) == as,bs:T List//permutation(T;as;bs)
Date html generated:
2016_05_15-PM-02_21_25
Last ObjectModification:
2015_09_23-AM-07_38_56
Theory : bags
Home
Index