Add Leq derived relation