Главное меню

Вход на сайт

Кто на сайте?

Сейчас 312 гостей и ни одного зарегистрированного пользователя на сайте

Пусть R и S -отношения, а R[A] - множество R -образов элементов из A. Доказать, что если Image то Image

Решение

Из условия задачи следует, что нужно доказать истинность утверждения
Image
Из левой части утверждения можно записать
Image
где Image, и все это можно интерпретировать графически

Image
 
Очевидно, что Image
Таким образом, Image что и требовалось доказать.
Примером для подтверждения нашего доказательства могут служить отношения:
Image

Image
     
Очевидно, что Image
     

У Вас недостаточно прав для добавления комментариев.
Вам необходимо зарегистрироваться на сайте