Added post: Relations: Subsets of the cartesian product