In set theory, every relation is a subset of a Cartesian product. In relational algebra, relations resulting from set theory operators like Union, Intersection, etc. are new relations.
What Cartesian product are these new relations a subset of?
Even with unary operators it is not clear to me.