Re: Is a function a relation?

From: David BL <>
Date: Mon, 22 Jun 2009 23:14:53 -0700 (PDT)
Message-ID: <>

On Jun 23, 1:35 pm, David BL <> 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 then interpreted in the manner of an 8 bit unsigned representation. Received on Tue Jun 23 2009 - 08:14:53 CEST

Original text of this message