inductive relation

A relation R between domains D and E is inductive if for all chains d1 .. dn in D and e1 .. en in E,

	For all i, di R ei  =>  lub(d) R lub(e)

Try this search on Wikipedia, OneLook, Google

Nearby terms: indirect jump « induction « inductive inference « inductive relation » Industrial Programming, Inc. » Industrial Robot Language » Industry Standard Architecture


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.