by "Jack" <jj@[EMAIL PROTECTED]
>
Jul 16, 2008 at 04:11 PM
"Paul Sperry" <plsperry@[EMAIL PROTECTED]
> wrote in message
news:150720081745589130%plsperry@[EMAIL PROTECTED]
> In article <Tk7fk.9977$015.2830@[EMAIL PROTECTED]
>, Jack <jj@[EMAIL PROTECTED]
>
> wrote:
>
>> Paul,
>>
>> > Let |N be the set of non-negative integers.
>> > Let I be a finite interval of integers.
>> >
>> > DEFINITION 1. For a function t : |N -> N define
>> > c_t(n) = (1/2)*t(n)*(t(n) - 1).
>>
>> Will I need to say anything about the integer n? Or even the standard
|N?
>> Or
>> can I take their meanings as understood?
>
> It never hurts to nail things down. If |N is not explicitly given there
> may be a question of whether or not 0 is included.
>
> It certainly wouldn't be amiss to make the definition explicit:
>
> DEFINITION 1.1 For a function t : |N -> N define a function
> c_t : |N -> |N by c_t(n) = (1/2)*t(n)*(t(n) - 1).
Hang on, shouldn't |N -> N read |N --> |N?
Cheers.
