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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Partial Functions and Functions

  • Alexander Kharazishvili

摘要

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.