inductive relation

1 definition found

inductive relation - Free On-line Dictionary of Computing (26 May 2007) :

  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)