Re: Perhaps an idiotic question

paul c <toledobythesea_at_oohay.ac> wrote:

>But it perplexes me even though I admit I have no good reason for asking:
>
>If I declare a relation (or more properly a relvar) R to have an
>attribute A where A's type is the type of R am I declaring a fallacy or
>something that is logically possible (ignoring whether it has any use)?

     I see recursion but no termination.

     What *is* the use of such a declaration?

Sincerely,

Gene Wirchenko

Computerese Irregular Verb Conjugation:

     I have preferences.
     You have biases.
     He/She has prejudices.