Set/Relation/Definition


Relation (one set)

A relation on a set is a subset of the product set , that is, .