ariko bikajyana n'ibikorwa by'iterambere ifatanyije n'inzego zirimo urwego rw'igihugu rw'ubugenzacyaha the p coalgebras are in bijective correspondence with sets with a binary relation