Logical relation

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.

< Previous Terms	Terms Containing logical relation	Next Terms >
Logical Block Addressing logical complement Logical Interchange Format Logical Link Control Logical Link Control and Adaptation Protocol	Algorithmic Test Case Generation	logical shift logical shift left logical shift right Logical Unit Logical Unit 6.2