Try Our Apps
Dictionary.com

follow Dictionary.com

The Word of the Year is...

logical relation

logical relation in Technology


A relation R satisfying
f R g <=> For all a, b, a R b => f a R g b
This definition, by Plotkin, can be used to extend the definition of a relation on the types of a and b to a relation on functions.

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Examples from the Web for logical relation
Historical Examples

Word of the Day

Word Value for logical

10
14
Scrabble Words With Friends

Nearby words for logical relation