Partial Functions and Functions
摘要
A binary relation \(S(x,y)\) is called a functional relationFunctional relation with respect to a variable y if, for every \(x \in \mathrm {dom}(S)\) , there exists exactly one y such that \(S(x,y)\) holds true.