VDict mobile



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)