A.1. Review of General Mathematical Notions
Definition 194 Relation
A relation is any subset of a Cartesian product.
Definition 195 Binary Relation
A binary relation from the set to the set is a collection of ordered pairs . One often writes to show x is related to y.
Definition 196 Equivalence Relation
An equivalence relation on a set is a subset ...