<-- Go Back Last Updated: 10/06/2025
A relation \(\mathscr{R}\) is called 'functional' on a set \(x\) if for each element \(a\in x\) there is a unique \(b\) such that \(a\mathscr{R}b\), i.e. \(\forall a\in x:\exists!b:a\mathscr{R}b\).