What are relations, if not an indicator function of a cartesian product?