Relations are subsets of products A×BA×B where AA is the domain and BB the codomain of the relation. <span>A function <span>ff</span> is a relation with a special property: for each <span><span>a∈A</span><span>a∈A</span></span> there is a unique <span><span>b∈B</span><span>b∈B</span></span> s.t. <span><span>⟨a,b⟩∈f</span><span>⟨a,b⟩∈f</span></span>.This unique <span>bb</span> is denoted as <span><span>f(a)</span><span>f(a)</span></span> and the 'range' of function <span>ff</span> is the set <span><span>{f(a)∣a∈A}⊆B</span><span>{f(a)∣a∈A}⊆B</span></span>.You could also use the notation <span><span>{b∈B∣∃a∈A<span>[<span>⟨a,b⟩∈f</span>]</span>}</span><span>{b∈B∣∃a∈A<span>[<span>⟨a,b⟩∈f</span>]</span>}</span></span>Applying that on a relation <span>RR</span> it becomes <span><span>{b∈B∣∃a∈A<span>[<span>⟨a,b⟩∈R</span>]</span>}</span><span>{b∈B∣∃a∈A<span>[<span>⟨a,b⟩∈R</span>]</span>}</span></span>That set can be labeled as the range of relation <span>RR</span>.</span>
