Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

inductive relation

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

©2018 Martin Webb