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

Решение

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

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

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


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



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