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)

In addition suitable contents:
[ = ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ b ] [ be ] [ ch ] [ chain ] [ D ] [ do ] [ domain ] [ du ] [ E ] [ ee ] [ er ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ is ] [ la ] [ Lex ] [ lu ] [ lub ] [ ma ] [ mo ] [ mod ] [ module ] [ na ] [ om ] [ ph ] [ query ] [ rc ] [ re ] [ relation ] [ se ] [ tw ] [ ve ]