Nuprl Definition : combination
Combination(n;T) == {L:T List| no_repeats(T;L) ∧ (||L|| = n ∈ ℤ)}
Definitions occuring in Statement :
no_repeats: no_repeats(T;l),
length: ||as||,
list: T List,
and: P ∧ Q,
set: {x:A| B[x]} ,
int: ℤ,
equal: s = t ∈ T
Definitions occuring in definition :
set: {x:A| B[x]} ,
list: T List,
and: P ∧ Q,
no_repeats: no_repeats(T;l),
equal: s = t ∈ T,
int: ℤ,
length: ||as||
FDL editor aliases :
combination
Latex:
Combination(n;T) == \{L:T List| no\_repeats(T;L) \mwedge{} (||L|| = n)\}
Date html generated:
2016_05_15-PM-05_56_17
Last ObjectModification:
2015_09_23-AM-08_00_11
Theory : general
Home
Index