资料来源 : Free On-Line Dictionary of Computing

inductive relation
     
        A relation R between {domain}s D and E is inductive if for all
        {chain}s {d1 .. dn} in D and {e1 .. en} in E,
     
        	For all i, di R ei  =>  lub(d) R lub(e)