Set/Relation/Definition
< Set < Relation
Relation (one set)
A relation on a set is a subset of the product set , that is, .
A relation on a set
is a subset of the
product set
, that is,
.