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)
Nearby terms:
inductive inference ♦ inductive relation ♦ Industrial Programming, Inc.
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
