📚 node [[20210117142702 relations]]

A relation is a special type of category A relation is a subset of the Cartesian product $X \times Y$.

📖 stoas
⥱ context