По большому счёту, в отношении больше/меньше и композиции нет, пока мы не _введём_ транзитивность отношения. Это если о примере без композиции.
Например, откуда взяться отношению больше/меньше на натуральных числах? У нас есть стрелка "+1" от каждого натурального числа к следующему. Эта стрелка определяет отношение больше/меньше, но композиции пока ещё нет, точно как в случае с Y=2*X.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2013-06-26 08:48 am (UTC)Например, откуда взяться отношению больше/меньше на натуральных числах? У нас есть стрелка "+1" от каждого натурального числа к следующему. Эта стрелка определяет отношение больше/меньше, но композиции пока ещё нет, точно как в случае с Y=2*X.