В заключение исследуем само отношение «быть моделью». Мы уже видели, что это отношение является рефлексивным, так как каждый объект является моделью самого себя. Очевидно также, что если один объект является моделью другого, то в силу сюръективности отображения первого объекта на второй, этот второй совсем не обязательно будет моделью первого объекта. Следовательно, это отношение не является симметричным. Ясно также, что если этот второй объект является моделью некоторого третьего, то и первый будет являться моделью третьего. Таким образом, отношение «быть моделью» является рефлексивным и транзитивным. Такие отношения называются отношениями нестрогого порядка.
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.