Show that the ancestral R* of a relation R has the following properties:
1)for every a R*aa
2)for all a and b if Rab then R*ab
Usually we say 'sequence' rather than 'chain', as usually 'chain' is a different notion.
Also, I take it that n greater than 0.
Anyway, as far as I can tell, what you are being asked to show is not true:
Counterxample:
Let R = {<a b>} with a not equal to b.
Then R* = {<a b>} and neither <a a> nor <b a> are in R*.