Waclaw Kusnierczyk wrote:
>>>> To cover the general case of D any size, insert "at least" above
>>>> after "There are".
>>> At least, unless n=1.
>> Huh? That's not even true if "relation" is understood to mean
>> "property".
>
> ? If n=1, then there are exactly 2^card(D) properties over D? (01)
So, I mean, the replacement above is not necessary in the case n=1. (02)
vQ (03)
_________________________________________________________________
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 (04)
|