Some Mathematical Notions Used in the Previous Chapters

A binary relation, which connects elements of a set \( {\mathbb{X}} \) with elements of a set \( {\mathbb{Y}} \), is any subset of the Cartesian product \( {\mathbb{X}} \times {\mathbb{Y}} \).