Sets/Relation/Definition

< Sets < Relation
Relation

Let and denote sets. A relation between and is a subset .