关于集合上关系合成运算的注记

摘要

设R是X上的一个关系,通过构造反例来否定有关文献中给出的结论:RloRm=Rl+m 对任何整数l,m成立,其中RoR表示R与自身的合成,简记为R2(Rl,Rm等意义详见正文).进一步,在理论上建立使Rl oRm=Rl+m对任何整数l,m都成立的等价条件.