Nuprl Definition : unordered-combination
UnorderedCombination(n;T) == {b:bag(T)| bag-no-repeats(T;b) ∧ (#(b) = n ∈ ℤ)}
Definitions occuring in Statement :
bag-no-repeats: bag-no-repeats(T;bs),
bag-size: #(bs),
bag: bag(T),
and: P ∧ Q,
set: {x:A| B[x]} ,
int: ℤ,
equal: s = t ∈ T
Definitions occuring in definition :
set: {x:A| B[x]} ,
bag: bag(T),
and: P ∧ Q,
bag-no-repeats: bag-no-repeats(T;bs),
equal: s = t ∈ T,
int: ℤ,
bag-size: #(bs)
FDL editor aliases :
unordered-combination
Latex:
UnorderedCombination(n;T) == \{b:bag(T)| bag-no-repeats(T;b) \mwedge{} (\#(b) = n)\}
Date html generated:
2016_05_15-PM-03_11_30
Last ObjectModification:
2015_09_23-AM-07_42_21
Theory : bags
Home
Index