- Подробности
- Автор: Super User
- Категория: Теория множеств
- Просмотров: 4392
Пусть R и S -отношения, а R[A] - множество R -образов элементов из A. Доказать, что если
то
Решение
Из условия задачи следует, что нужно доказать истинность утверждения

Из левой части утверждения можно записать

где
, и все это можно интерпретировать графически

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


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


Решение
Из условия задачи следует, что нужно доказать истинность утверждения

Из левой части утверждения можно записать

где


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

Таким образом,

Примером для подтверждения нашего доказательства могут служить отношения:


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