previous up next
Go backward to Functions
Go up to Top
Go forward to Example
RISC-Linz logo

Example

The following binary relations are functions:

Check unicity of first tuple component.


Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next