On Jun 15, 2007, at 8:02 PM, Christopher Menzel wrote:
> On Jun 15, 2007, at 6:39 PM, Waclaw Kusnierczyk wrote:
>> Christopher Menzel wrote:
>>>>> There are (as of course John and Pat know) 2^card(D) relations
>>>>> over
>>>>> any set (taking relations here to be sets of n-tuples).
>>>> Only if n=1.
>>>
>>> Only if D is finite.
>>
>> My point was that a relation over a single set is a set of 1-tuples;
>
> I am not following you. In standard, classical logic and set theory,
> an n-place relation over a set... (01)
a set S (02)
> ...is a set of n-tuples of members of S. (03)
-chris (04)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (05)
|