Re: Is a function a relation?
From: David BL <davidbl_at_iinet.net.au>
Date: Mon, 22 Jun 2009 23:14:53 -0700 (PDT)
Message-ID: <7f60e53b-e8ab-4267-abca-60dc96ce722b_at_w9g2000pro.googlegroups.com>
Date: Mon, 22 Jun 2009 23:14:53 -0700 (PDT)
Message-ID: <7f60e53b-e8ab-4267-abca-60dc96ce722b_at_w9g2000pro.googlegroups.com>
On Jun 23, 1:35 pm, David BL <davi..._at_iinet.net.au> wrote:
> Yes that's one way of looking at it.
I'll expand on what I mean by that. It seems to me that one could use
special conventions to "show" that just about any type can be regarded
as a specialisation of a relation. E.g. one could say that a whole
number in [0,255] is a relation by introducing symbols to represent
1,2,4,8,...,128 and the relation records a set of symbols that are