# Re: Function

Date: Tue, 15 Jan 2008 15:25:41 +0100

Message-ID: <478cc133$0$85781$e4fe514c_at_news.xs4all.nl>

Jan Hidders wrote:

[snip]

>> (cdt glossary:) >> >> > [Function]

...

>> > Math >> > A binary mathematical relation with at most >> > one b for each a in (a,b).

*>*

> This "at most one b for each a in (a,b)" makes me cringe!

Irritation about the status quo is a starting point to many improvements. I am sure the "Software" subentry (you snipped it) makes functional programming adepts curl their toes as well - I'll keep it until somebody provides a better text.

> Moreover, it

*> seems to describe partial functions, which is not what is usually
**> understood under "function". I would make that:
**>
**> "A binary mathematical relation over two sets D and C that associates
**> with each element in D exactly one element in C."
*

> You might even add something about calling D and C domain and codomain

*> respectively, although that might open up a whole new can of worms.
*

We could go fishing - we need some bait. I'll add some politically correct lyrics.

> Of course, I'm still convinced that the c.d.t. glossary is a waste of

*> time, but there you go. ;-)
*

Doesn't my appreciation count for anything? ;-)

Thank you for contributing :-)

-- What you see depends on where you stand.Received on Tue Jan 15 2008 - 15:25:41 CET