relational as in mathematical relation: a subset of some carthesian product