previous up next
Go backward to Representation of Relations (Continued)
Go up to Top
Go forward to Example
RISC-Linz logo

Domain and Range

Definition: domain and range of a binary relation R

forall x: x in domain(R) <=> exists y: <x, y> in R,
forall y: y in range(R) <=> exists x: <x, y> in R.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next