commutation

n 1: the travel of a commuter [syn: {commuting}]

2: a warrant substituting a lesser punishment for a greater one

3: the reduction is severity of a punishment imposed by law

[syn: {re-sentencing}]

4: the substitution of one method of payment for another

combination

1. A {set} containing a certain number of

objects selected from another set.

The number of combinations of r objects chosen from a set of n

is

n C r ◦ n! / ((n-r)! r!)

where "n C r" is normally with n and r as subscripts or as n

above r in parentheses.

See also {permutation}.

2. In the theory of {combinator}s, a combination

denotes an expression in which {function application} is the

only operation.

(1995-04-10)