Suma relacji

[LisuBB]

Czy w przypadku, gdy rozważamy sume relacji (czyli relacje \(\displaystyle{ R \cup S}\)), to relacje \(\displaystyle{ R}\) i \(\displaystyle{ S}\) muszą byc podzbiorami tego samego iloczynu kartezjańskiego? Tzn, czy musi zachodzic
\(\displaystyle{ R \subset X \times Y \wedge S \subset X \times Y}\)
czy też może byc:
\(\displaystyle{ R \subset X \times Y \wedge S \subset W \times Z}\).

[Jan Kraszewski]

Raczej zakłada się, że tego samego.

JK