inductive relation

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)
Mentioned in ?
References in periodicals archive ?
(c) Ex hypothesi, the following inductive relation obtains: e supports [H.sub.2].

Full browser ?