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)