Set/Relation/Definition

< Set < Relation
Relation (one set)

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