You are here: irt.org | FOLDOC | 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: indirect jump « induction « inductive inference « inductive relation » Industrial Programming, Inc. » Industrial Robot Language » Industry Standard Architecture
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL