| Webster's Online Dictionary |
| Expressions | Domain | Definition | |
| Inductive relation | Computing | 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). Source: The Free On-line Dictionary of Computing.. | |
Source: compiled by the editor from various references; see credits. | Top | ||