Functional relation

From Encyclopedia of Mathematics
Revision as of 17:05, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A binary relation on a set satisfying , where is the diagonal of . This means that and imply that , that is, for each there is at most one such that . Thus, determines a function (perhaps not defined everywhere) on . When it satisfies this function is well-defined everywhere and is one-to-one.


A functional relation is more generally defined as a binary relation between sets and such that and imply .

How to Cite This Entry:
Functional relation. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by O.A. Ivanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article